Formal Design Methods for CAD : Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994 / Eds. J. S. Gero, E. Tyugu. Amsterdam : North-Holland, 1994. viii, 362 p. - (IFIP Transactions B - Applications in Technology; 18).