Contracts: Specifying behavioural compositions in object-oriented systems (1990)

by R Helm, I M Holland, D Gangopadhyay
Venue:In Proceedings of ECOOP/OOPSLA 90