1. C.J. Aarts, R.C. Backhouse, P. Hoogendijk, T.S. Voermans and J. van der Woude, A relational theory of datatypes. AvailableviaWorld-Wide Web at http://www.win.tue.nl/cs/wp/papers (September 1992).
2. P. Aczel,Non Well-Founded Sets, Number 14 in CSLI Lecture Notes. Center for the Study of Language and Information (Stanford, California, 1988).
3. P. Aczel and N. Mendler, A final coalgebra theorem, D.H. Pitt, Ed.,Category Theory and Computer Science. Springer Verlag,Lecture Notes in Comput. Sci.(1989) 357-365.
4. R.C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans and J. van der Woude, Polynomial relators, M. Nivat, C.S. Rattray, T. Rus and G. Scollo, Eds., inProc. of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST'91. Springer-Verlag, Workshops in Computing (1992) 303-326.
5. Generic functional programming with types and relations