The Lazy λ−Calculus - Abramsky, S (Addison Wesley, 1990)