Distributed systems : methods and tools for specification : an advanced course - Alford, M. W. (Mack W.); Paul, Manfred; Siegert, H. J.; Technische Universität München. Institut für Informatik (Lecture notes in computer science, 1985)