Contract soundness for object-oriented languages (2001)

by R Findler, M Felleisen
Venue:In Object-Oriented Programming, Systems, Languages, and Applications