Programming in occam - Jones, Geraint, 1957- (Prentice-Hall international series in computer science, 1987)