Contracts: Specifying Behavioral Compositions in Object-Oriented Systems (1990)

by R Helm, I M Holland, D Gangopadhyay
Venue:In Proc. OOPSLA/ECOOP ’90