An introduction to functional programming through lambda calculus
Michaelson, Greg.
Wokingham Addison-Wesley
1988, c1989
Bibliography: p309-311. - Includes index