Contract soundness for object-oriented languages. (2001)

by R B Findler, M Felleisen
Venue:In Proceedings of the 16th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA ’01,