Distributed systems : methods and tools for specification : an advanced course / - Alford, M. W.; Paul, Manfred.; Siegert, H. J. (Springer-Verlag,, 1985)