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