Programming in occam 2 - Jones, G; Goldsmith, M (Prentice−Hall, 1988)