Programming in Occam 2
By Geraint Jones, Michael Goldsmith; Prentice Hall, 1988, ISBN 0137303343; Web edition 2001. Introductory textbook.

No queries for www.comlab.ox.ac.uk/people/geraint.jones/publications/book/Pio2