Programming In Occam 2 by Alan Burns