An introduction to OCCAM 2 programming (Chartwell-Bratt, 1989)