Types and Programming Languages - e-bok, Engelska, 2002