1. C. J. Aarts, R. C. Backhouse, P. Hoogendijk, E. Voermans, and J. C. S. P. Van der Woude. A relational theory of datatypes. Available via anonymous ftp from http://ftp.win.tue.nlindirectorypub/math.prog.construction , September 1992.
2. R. C. Backhouse. Polynomial relators. In M. Nivat, editor, Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AM AST ′91, Workshops in Computing, pages 303–362. Springer-Verlag, 1992.
3. R. C. Backhouse and P. Hoogendijk. Elements of a relational theory of datatypes. In Bern-hard MÖller, Helmut Partsch, and Steve Schumann, editors, Formal Program Development: IFIP TC2/WG 2.1 State of the Art Report, number 755 in LNCS. Springer-Verlag, 1992.
4. Tabulation techniques for recursive functions. ACM. Computing Surveys Vol 12, 403–417, 1980
5. R. S. Bird and O. De Moor. The Algebra of Programming. Prentice Hall, to appear 1995.