1. R.C. Backhouse (1986). Program Construction and Verification, Prentice-Hall.
2. C. Baker-Finch (1984). “Acceptable models of algebraic semantics,” Australian Computer Science Communications, vol. 6, no. 1, pp. 5–1/10, Proceedings of the Seventh Australian Computer Science Conference, Adelaide, ed. C.J. Barter.
3. J.A. Bergstra, J. Heering, and P. Klint (1985). “Algebraic definition of a simple programming language,” Report CS-R8504, Centre for Mathematics and Computer Science, Amsterdam.
4. J.A. Bergstra, J. Heering, and P. Klint (1986). “Module algebra,” Report CS-R8617, Centre for Mathematics and Computer Science, Amsterdam.
5. J.A. Bergstra, J. Heering, and P. Klint (1987). “ASF — an algebraic specification formalism,” Report CS-R8705, Centre for Mathematics and Computer Science, Amsterdam.