Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 - IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications (North-Holland, 1991)