Haskell: The Craft of Functional Programming by Simon Thompson, Addison-Wesley, 1996.

[1]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[2]  Paul W. Abrahams,et al.  On realism in programming examples , 1976, SIGP.

[3]  Philip Wadler,et al.  Packrat parsing:: simple, powerful, lazy, linear time, functional pearl , 2002, ICFP '02.

[4]  Matthias Felleisen,et al.  A call-by-need lambda calculus , 1995, POPL '95.