Please see:

Findler, Felleisen. Contract Soundness for Object-Oriented Languages. Object-Oriented Programming, Systems, Languages, and Applications, 2001.