Programming in Occam 2 - Jones, Geraint; Goldsmith, Michael (Prentice Hall International series in computer science, 1988)