Generic properties of datatypes (2003)

by R C Backhouse, P F Hoogendijk