Foundations of object-oriented languages types and semantics - Bruce, Kim B. (Prentic Hall of India, New Delhi, 2004)