Understanding concurrent systems - Roscoe, A. W. (Springer,)