Programming in Occam 2 - Jones, Geraint (Prentice-Hall, 1988)