Formale Beschreibung des inkrementellen Programmierens-im-Großen mit Graph-Grammatiken. - Gall, Rupert (Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung <Informatik>, 1982)