Foundation of object-oriented languages Types and semantics. - Bruce Kim B (New Delhi Prentice Hall Of India, 2002)