Joseph Y. Halpern Mark R. Tuttle Knowledge, Probability, and Adversaries. 103-118 1989 PODC db/conf/podc/podc89.html#HalpernT89