1. Perlman, R.: Interconnections: bridges, routers, switches, and internetworking protocols. Addison-Wesley Longman, Amsterdam (1999)
2. Tsuchiya, T., Nagano, S., Paidi, R.B., Kikuno, T.: Symbolic model checking for self-stabilizing algorithms. IEEE Trans. Parallel Distrib. Syst. 12, 81–95 (2001)
3. Burns, J.E., Gouda, M.G., Miller, R.E.: On Relaxing Interleaving Assumptions. In: Proc. MCC Workshop on Self-Stabilization. MCC Tech. Rep. STP, pp. 379–389 (1989)
4. Gouda, M.G., Haddix, F.F.: The alternator. Distributed Computing 20, 21–28 (2007)
5. Lecture Notes in Computer Science;M.G. Gouda,2001