Practical Inferences - D S Clarke (Taylor and Francis, 1985)