Theory and practice of concurrency - Roscoe A W (1998)