Paul, M., ed. DISTRIBUTED systems: methods and tools for specification an advanced course / edited by M.Paul, H.J.Siegert - New York Springer-Verlag 1985 - 573 p. Includes index. Dewey Class. No.: 519.9 / DIS