An Introduction to Functional Programming through Lambda Calculus (1989)

by G Michaelson