Contract soundness for object-oriented languages (2001)

by Robert Bruce Findler, Matthias Felleisen
Venue:In Object-Oriented Programming, Systems, Languages, and Applications