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