Kerridge, Jon, "Occam Programming: A Practical Approach", , 1987