Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9414

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9212

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9214

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9317

Published in: Technische Berichte des Instituts für Informatik der CAU Kiel ; 9414

Published in: Programming Languages and Systems — ESOP '94

Published in: VDM '88 VDM — The Way Ahead

Published in: Lecture Notes in Computer Science