Concurrent systems : formal development in CSP - Hinchey, Michael G. (Michael Gerard), 1969- (McGraw-Hill international series in software engineering, 1995)