1. Backhouse, R.C., de Bruin, P., Hoogendijk, P., Malcolm, G., Voermans, T.S., van der Woude, J.: Polynomial relators. In: Nivat, M., Rattray, C.S., Rus, T., Scollo, G. (eds.) Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST 1991, pp. 303–326. Springer, Heidelberg (1991); Workshops in Computing (1992)
2. Backhouse, R.C., de Bruin, P., Malcolm, G., Voermans, T.S., van der Woude, J.: Relational catamorphisms. In: Möller, B. (ed.) Proceedings of the IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications, pp. 287–318. Elsevier Science Publishers B.V, Amsterdam (1991)
3. Backhouse, R.C., Doornbos, H., Hoogendijk, P.: Commuting relators (September 1992), Available via World-Wide Web at
http://www.cs.nott.ac.uk/~rcb/MPC/papers
4. Bird, R.S., de Moor, O.: Algebra of Programming. Prentice-Hall International, Englewood Cliffs (1996)
5. Freyd, P.J., Ščedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)