Programming in Occam 2 - JONES,G; GOLDSMITH.M (prentice -hall of India pvt Ltd NEW YORK, 1988)