Understanding concurrent systems - Roscoe, A. W. (Texts in computer science, 2010)