Advanced topics in types and programming languages - Pierce, Benjamin C (ed) (Prentice-Hall of India, New Delhi, 2005)