Understanding Concurrent Systems by Roscoe & A.W. Roscoe