John Lamping, MartÃn Abadi. Methods as Assertions. In Mario Tokoro, Remo Pareschi, editors, Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP 94, Bologna, Italy, July 4-8, 1994. Volume 821 of Lecture Notes in Computer Science, pages 60-80, Springer, 1994. [doi]
Abstract is missing.