Programming in occam2 - Geraint Jones ,Michael Goldsmith (Prentice-Hall, 1988)