1. Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. Journal of the Association for Computing Machinery 24(1), 44–67 (1977)
2. Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall (1997)
3. Bird, R.S.: An introduction to the theory of lists. In: Broy, M. (ed.) Logic of Programming and Calculi of Discrete Design, pp. 3–42. Springer, Heidelberg (1987)
4. Breitinger, S., Loogen, R., Ortega Mallen, Y., Pena, R.: The Eden Coordination Model for Distributed Memory Systems. In: Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS 1997), pp. 120–124. IEEE Computer Society, Washington, DC (1997)
5. Burstall, R.: Proving properties of programs by structural induction. Computer Journal 12(1), 41–48 (1969)