1. Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Proceeding of the theoretical aspects of rationality and knowledge (pp. 111–121). Morgan Kaufmann.
2. Chandy K. M., Misra J. (1986) How processes learn. Distributed Computing 1(1): 40–52
3. Diekert V., Muscholl A. (1993). Deterministic asynchronous automata for infinite traces. LNCS 665: 617–628
4. Diekert, V., Rozenberg, A. (eds) (1995) A book of traces. World Scientific, Singapore
5. Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. M.I.T. Press, Cambridge