1. Bird, R., Wadler, P.: Introduction to Functional Programming. Prentice-Hall International, New York, 1988
2. Boyle, J. M.: A transformational component for programming language grammar. Technical report ANL-7690, Argonne National Laboratory, Argonne, Ill., July 1970
3. Boyle, J. M.: Abstract programming and program transformations-An approach to reusing programs. In Software Reusability, Volume I, T. J. Biggerstaff and A. J. Perlis (eds.), ACM Press (Addison-Wesley Publishing Company), New York, 1989, 361–413
4. Boyle, J. M.: Program adaptation and program transformation. In Practice in Software Adaptation and Maintenance, R. Ebert, J. Lueger, and L. Goecke (eds.), North-Holland Publishing Co., Amsterdam, 1980, 3–20
5. LNCS 634;J. M. Boyle,1992