A tutorial introduction to occam programming - Pountain, Dick; May, David (BSP Professional Books, 1988)