Concurrent programming algorithms, principles, and foundations - Raynal, Michel (Springer, 2013)