Contracts: specifying behavioral compositions in object-oriented systems (1990)

by R Helm, I Holland, D Gangopadhyay
Venue:In Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications ECOOP '90