OCCAM. PROGRAMMING MANUAL - Backhouse, R. C. (Prentice-Hall International, 1984)