Types and Programming Languages (2002)

by Benjamin C Pierce