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