Functional Algorithm Design
Richard S. Bird
Book Title
Mathematics of Program Construction
ISBN
3−540−60117−1
Pages
2−17
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
947
Year
1995
Richard S. Bird