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