A Relational Theory of Datatypes (1992)

by R C Backhouse, P Hoogendijk, E Voermans, J van der Woude