Contracts: Specifying Behavioral Compositions in Object-Oriented SystemsRichard HelmIan M. Hollandet al.1990ACM SIGPLAN Notices