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