A Generic Theory of Datatypes (1997)

by Paul Hoogendijk