A calculus of functions for program derivation (1990)

by R S Bird
Venue:Research Topics in Functional Programming