Loopless Functional Algorithms
Richard S. Bird
Book Title
Mathematics of Program Construction
Editor
Tarmo Uustalu
ISBN
3−540−35631−2
Pages
90−114
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4014
Year
2006
Richard S. Bird