Kerridge, J. (1987). Occam Programming: A Practical Approach. Blackwell Scientific Publications