der Woude. A relational theory of datatypes. Available via World-Wide Web at http://www.cs.nott.ac.uk/~rcb/MPC/papers (1992)

by R C Backhouse, T S Voermans, J van