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 (1991 : Pacific Grove, Calif.); Moller, B., 1953- (Amsterdam : North-Holland, 1991)
Includes bibliographical references and index
Keywords: Electronic digital computers -- Programming