Commentary by cpressey on Lisp works Lisp 1.5 Programmer's Manual Has some classics in it, like a Wang theorem prover. The Little Lisper Lisp A Common Lisp Workbook The Standard Lisp Report What are the tasks of the "reader" during Lisp interpretation? dblp: LISP and Functional Programming 1990 Special Forms in Lisp