1. Aarts, C.J., Backhouse, R.C., Hoogendijk, P., Voermans, T.S., van der Woude, J.: A relational theory of datatypes (September 1992), Available via World-Wide Web at http://www.win.tue.nl/cs/wp/papers
2. Lecture Notes in Computer Science;L.A. Cayenne,1999
3. Backhouse, R.C., Bijsterveld, M., van Geldrop, R., van der Woude, J.C.S.P.: Category theory as coherently constructive lattice theory. Department of Mathematics and Computing Science, Eindhoven University of Technology, 146 pages (1995), Working document. Available via World-Wide Web at at http://www.win.tue.nl/cs/wp/papers , Last revision (March 1997)
4. 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 (1992) (Workshops in Computing)
5. 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)