Contracts: Specifying (1990)

by R Helm, I Holland, D Ganghopadhyay
Venue:Behavioral Compositions in ObjectOriented Systems,' OOPSLA `90