Programming in OCCAM 2 - Jones, Geraint; Goldsmith, Michael (Prentice-Hall, 1988)