ORS-Spezifikationslabor Grobrecherche zur Bestimmung isomorpher Spezifikationen - Gaube, Werner; Lockemann, Peter C. 1935-; Mayr, Heinrich Christian 1948- (1984)
Keywords: PROLOG -- Programmiersprache