Types and programming languages (2002)

by B C Pierce