Object-oriented specification and open distributed systems (2004)

by E B Johnsen, O Owe
Venue:In Lecture Notes in Computer Science 2635