Programming in Occam 2. - Burns, A. (Wokingham : AddisonWesley, 1988)