Wilfried Koch SPEZI - Eine Sprache zur Formulierung von Spezifikationen (unvollstängige Fassung). 132-138 1979 conf/gi/1979 GI Jahrestagung db/conf/gi/gi79.html#Koch79