Methods as assertions (1994)

by John Lamping, Martin Abadi
Venue:European Conference on Object-Oriented Programming