1. Attiya, C., Welch, J.L.: Distributed Computing: Fundamentals, Simulations and Advanced Topics. McGraw-Hill (1998)
2. Back, R. J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer Verlag Graduate Texts in Comp. Sci. (1998)
3. Chou, C., Gafni, E.: Understanding and verifying distributed algorithms using stratified decomposition. Proc. 7th ACM PODC (1988) 44–65
4. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall (1976)
5. Engelhardt, K., van der Meyden, R., and Moses, Y.: Knowledge and the logic of local propositions, Proc. 7th Conf. on Theor. Aspects of Reasoning about Knowledge (TARK), Gilboa, T. Ed., Morgan Kaufmann (1998) 29–42