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

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