From HDL descriptions to guaranteed correct circuit designs : Proceedings of the IFIP WG 10.2 working conf., Grenoble, France, 9 - 11 Sept., 1986 - Davie, Bruce S. (North-Holland Publishing, 1987)