Author: IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD (1994 Tallinn, Estonia)