Georg Fischer Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen. 41-56 1981 conf/programmier/1981 Werkzeuge der Programmiertechnik db/conf/programmier/programmier1981.html#Fischer81