Yoram Moses Danny Dolev Joseph Y. Halpern Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. 167-176 1986 1 Distributed Computing 3 db/journals/dc/dc1.html#MosesDH86