Concurrent systems : formal development in CSP /
Hinchey, Michael G.
Jarvis, Stephen A.
London : McGraw-Hill,
c1995.