Induction and recursion on datatypes (1995)

by Henk Doornbos, Roland Backhouse
Venue:Mathematics of Program Construction, 3rd International Conference, volume 947 of LNCS