P.F.: Elements of a relational theory of datatypes (1993)

by R C Backhouse, Hoogendijk
Venue:Formal Program Development