Adding the language specification, CLtL2 and Successful Lisp.

Also, expanded PCL to its proper meaning.