The theory and practice of concurrency - Roscoe, Andrew William (Prentice Hall Series in Computer Science, 1998)