Foundations of object-oriented languages: types and semantics - Bruce Kim B (Cambridge MIT Press, 2002)