2002-01-04
Types and Programming Languages
by Benjamin C. Pierce (656 pages)