Progrmming in occam 2 - Jones, Geraint & Goldsmith, Michael (Prentice hall, New York, 1988)