Inverting Functions as Folds
Shin−Cheng Mu and Richard S. Bird
Book Title
Mathematics of Program Construction
Editor
Eerke A. Boiten and Bernhard Möller
ISBN
3−540−43857−2
Pages
209−232
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2386
Year
2002