A calculus of functions for program derivation (1990)

by Richard S Bird