Producing design diagrams from declarative descriptions - Guo,S; Luk,W (1995)