The theory and practice of concurrency - Roscoe, A. W. (Prentice Hall, 1998)