Understanding Concurrent Systems - A.W. Roscoe ((Texts in Computer Science))