A Calculus of Functions for Program Derivation
Richard S. Bird
Book Title
Research Topics in Functional Programming
Editor
David A. Turner
Note
Also available as Technical Monograph PRG−64‚ from the Programming Research Group‚ Oxford University
Organisation
University of Texas at Austin
Publisher
Addison−Wesley
Year
1990