S. Mauw;F. Wiedijk
-;-
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering