1. A. Baziramwabo, P. McKenzie and D. Thérien, “Modular Temporal Logic”, Proc. 1999 IEEE Conference on Logic in Computer Science (LICS), Trento, Italy, July 1999.
2. Lect Notes Comput Sci;D. Beauquier,1989
3. S. Eilenberg, Automata, Languages and Machines, vol. B, Academic Press, New York, 1976.
4. K. Etessami, M. Vardi, and T. Wilke, “First-Order Logic with Two Variables and Unary Temporal Logic”, Proceedings, 12th IEEE Symposium on Logic in Computer Science, 228–235 (1996).
5. N. Immerman and D. Kozen, “Definability with a Bounded Number of Bound Variables”, Information and Computation, 83, 121–139 (1989).