Contracts: Specifying behavioral compositions in object-oriented systemsRichard HelmIan M. Hollandet al.1990ECOOP 1990
Contracts: Specifying Behavioral Compositions in Object-Oriented SystemsRichard HelmIan M. Hollandet al.1990ACM SIGPLAN Notices