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

by Richard Helm, Ian M Holland
Venue:In Proc. of the Conference on Object Oriented Programming, Systems, Languages, and Applications