Author: IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications (1991 Pacific Grove, Calif.)