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.

519.9 / DIS