Concurrent systems : formal development in CSP - Jarvis, Stephen A., 1970- (McGraw-Hill Book Company, 1995)