der Woude. A relational theory of datatypes (1992)

by C Aarts, R C Backhouse, P Hoogendijk, E Voermans, J van