Working Conference on Constructive Programs from Specifications (1991 : Pacific Grove, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pacific Grove, Calif.