Understanding Concurrent Systems door Roscoe & A.W. Roscoe