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)