Workshop on the Theory and Practice of Refinement (1988 : York) Bezüge im Wissensnetz Veranstaltungsort (1) GND York