Introduction to Concurrency Using occam (1988)

by R D Dowsing