Types and Programming Languages

Mit Press - 2002
Benjamin C. Pierce