The Lazy Lambda Calculus, chapter 4, pages 65--116. The UT Year of Programming Series (1990)

by Samson Abramsky