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