Helm et al. (1990)
Helm R., Holland I.M. and Gangopadhyay D. (1990)
Contracts: specifying behavioral compositions in object-oriented systems
In Proc. ECOOP/OOPSLA'90, pp. 169-180