A tutorial introduction to occam programming - Pountain, Dick (BSP Professional Books, 1987)