Jeff Heisserman Robert Woodbury Geometric design with boundary solid grammars. 85-105 1994 conf/ifip5-2/1994 Formal Design Methods for CAD db/conf/ifip5-2/ifip5-2-1994.html#HeissermanW94