Georg Fischer: Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen. Werkzeuge der Programmiertechnik 1981: 41-56