Bibliography: p309-311. _ Includes index.
An introduction to functional programming through lambda calculus by Greg Michaelson. ISBN 0201178125. Published by Addison-Wesley in 1988. Publication and catalogue information, links to buy online and reader comments.