1. Samson Abramsky. Abstract interpretation, logical relations, and Kan extensions. J. Logic and Computation, 1(1):5–41, 1990.
2. Lect Notes Comput Sci;K.S. Backhouse,2002
3. R.C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans, and J. van der Woude. Polynomial relators. In M. Nivat, C.S. Rattray, T. Rus, and G. Scollo, editors, Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST’91, pages 303–326. Springer-Verlag, Workshops in Computing, 1992.
4. Peter J. de Bruin. Inductive Types in Constructive Languages. PhD thesis, Rijksuniversiteit Groningen, 1995.
5. R.C. Backhouse, T.S. Voermans, and J. van der Woude. A relational theory of datatypes. Available via World-Wide Web at http://www.cs.nott.ac.uk/~rcb/MPC/papers . Available via anonymous ftp from ftp://ftp.win.tue.nl in directory pub/math.prog.construction, December 1992.