Distributed systems methods and tools for specification ; an advanced course (Springer, 1985)