The theory and practice of concurrency (Prentice Hall, 1998)

(untitled) - Roscoe, A