Concurrent Programming: Algorithms, Principles, and Foundations - Raynal (Springer Berlin Heidelberg, 2013)