Advanced topics in types and programming languages - Pierce, Benjamin C., 1963- (MIT Press, 2005)