DISTRIBUTED OPERATING SYSTEMS. THEORY AND PRACTICE - Lamport, Leslie (Springer, 1987)