Concurrent Programming: Algorithms, Principles, and Foundations - Michel Raynal (Springer)