Winter School on Abstract Software Specifications (1979 : Kopenhagen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kopenhagen