1. C. Aarts, R.C. Backhouse, P. Hoogendijk, E.Voermans, and J. van der Woude. A relational theory of datatypes, December 1992
2. Introduction to coalgebra;Adamek;Theory and Applications of Categories,2005
3. Safety of abstract interpretations for free, via logical relations and Galois connections;Backhouse;Science of Computer Programming,2004
4. R.C. Backhouse. Mathematics of program construction, June 2004. With help and contributions by Marcel Bijsterveld and Henk Doornbos and Rik van Geldrop and Diethard Michaelis and Jaap van der Woude
5. Polynomial relators;Backhouse,1992