Understanding Concurrent Systems - Roscoe, A.W (Springer London : Imprint: Springer, 2010)