et al. Relational catamorphisms (1991)

by R C Backhouse
Venue:Constructing Programs From Specifications