Distributed systems : methods and tools for specification : an advanced course - Siegert, H. J.; Paul, Manfred; Alford, M. W. (Mack W.) (Lecture notes in computer science ;, 1985)