Conference paperA formal model of knowledge, action, and communication in distributed systems: Preliminary reportJoseph Y. Halpern, Ronald FaginPODC 1985