L. K. Alberts Discussion: What is a formal representation and what is it good for?. 59-70 1994 conf/ifip5-2/1994 Formal Design Methods for CAD db/conf/ifip5-2/ifip5-2-1994.html#Alberts94a