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]
@inproceedings{LampingA94,
title = {Methods as Assertions},
author = {John Lamping and Martín Abadi},
year = {1994},
url = {http://link.springer.de/link/service/series/0558/bibs/0821/08210060.htm},
researchr = {https://researchr.org/publication/LampingA94},
cites = {0},
citedby = {0},
pages = {60-80},
booktitle = {Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP 94, Bologna, Italy, July 4-8, 1994},
editor = {Mario Tokoro and Remo Pareschi},
volume = {821},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58202-9},
}