Object-oriented specification and open distributed systems (2003)

by E B Johnsen, O Owe
Venue:From Object-Orientation to Formal Methods: Dedicated to the Memory of Ole-Johan Dahl, LNCS 2635