Programming in Occam 2 - Burns, Alan (Addison-Wesley, 1988)