Interconnecting objects via contracts (1999)

by L F Andrade, J L Fiadeiro
Venue:In In Proc. Second Intl Conf. the Unied Modeling Language (UML 99