Program transformation and programming environments - Pepper, Peter (Springer-Verlag, 1984)