Reasoning about Uncertainty by Joseph Y. Halpern & Joseph Halpern