John Lamping, Martín Abadi. Methods as Assertions. TAPOS, 1(1):5-18, 1995.
@article{LampingA95, title = {Methods as Assertions}, author = {John Lamping and Martín Abadi}, year = {1995}, researchr = {https://researchr.org/publication/LampingA95}, cites = {0}, citedby = {0}, journal = {TAPOS}, volume = {1}, number = {1}, pages = {5-18}, }