Title: An introduction to functional programming through lambda calculus
First published: 1988