The Lazy Lambda Calculus: An Investigation into the Foundations of Functional Programming (1988)

by C-H L ONG