Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 workshop on formal design methods for CAD, Tallinn, Estonia, 16-19 June 194. ISBN 0444819703. Published by Elsevier in 1994. Publication and catalogue information, links to buy online and reader comments.