ORS-Spezifikationslabor Grobrecherche zur Bestimmung isomorpher Spezifikationen - Gaube, Werner; Lockemann, Peter C. 1935-; Mayr, Heinrich Christian 1948- (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht, 1984)