Johns Hopkins University: Scott F. Smith's "Principles of Programming Languages"

Read Chapter 6 on Type Systems for a discussion of statically-typed object-oriented languages and the similarities and differences between C++ and Java implementations of object system.