Distributed systems : methods and tools for specification ; an advanced course - Alford, Mack W.; Paul, Manfred (Hrsg.); Advanced Course on Distributed Systems, Methods and Tools for Specification (1984 - 1985 : München) (Lecture notes in computer science, 1985)