A Generic Theory of Data Types (1997)

by Paul Hoogendijk