Strunk and White
The Elements of Style

Dorai Sitaram
Teach Yourself Scheme in Fixnum Days

Abelson and Sussman, with Sussman
Structure and Interpretation of Computer Programs

Barendregt
The Lambda Calculus

Constable, et alii
Implementing Mathematics with the Nuprl Proof Development System

Robert Harper
Programming in Standard ML (PDF)

Felleisen
Proceedings of the 2000 Montreal Workshop on Scheme and Functional Programming

Felleisen, Thompson
Proceedings of the 1999 Paris Workshop on Functional and Declarative Programming in Education