Workshop Logical Theory for Program Construction (1991 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern