On the structure of structure-oriented editors for different applications - Engels, Gregor 1955-; Nagl, Manfred; Schäfer, Wilhelm (Osnabrücker Schriften zur Mathematik, 1986)