Elements of a Relational Theory of Datatypes (1993)

by Roland Backhouse, Paul Hoogendijk
Venue:Formal Program Development, volume 755 of Lecture Notes in Computer Science