Object-oriented analysis and formal description techniques (1994)

by A M D Morerira, R G Clark
Venue:in Proc ECOOP'94, LNCS 821