Ein Weg zur Spezifikation und Durchführung von Transformationen an Programmen in höheren Programmiersprachen.