Shen-Guan Shih Gerhard Schmitt The use of post interpretation for grammar-based generative systems. 107-120 1994 conf/ifip5-2/1994 Formal Design Methods for CAD db/conf/ifip5-2/ifip5-2-1994.html#ShihS94