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