lambda_papers HTML transcription of the original Lambda Papers ( http://library.readscheme.org/page1.html ).