Distributed systems : methods and tools for specification an advanced course - Alford, M.W (Lecture Notes in Computer Science ;, 1985)