Workshop of Specification and Derivation of Programs (1985 : Marstrand) Bezüge im Wissensnetz Veranstaltungsort (1) GND Marstrand