Induction and recursion on datatypes (1995)

by H Doornbos, R C Backhouse
Venue:Pages 242–256 of: Mathematics of Program Construction