Induction and Recursion on Datatypes (1995)

by Roland Backhouse, Henk Doornbos