Contracts --- Specifying behavioural compositions (0)

by R Helm, I M Holland, D Gangopadhay
Venue:in OO systems. Sigplan Notices 25(10) (Proc. ECOOP/OOPSLA 90