1. Bowen, K. A., 1979, “Model Theory for Modal Logic. Kripke Models for Modal Logic,” Synthese Library Vol. 127, Reidel, Dordrecht.
2. Büchi, J. R., 1962, On a Decision Method in Restricted Second Order Arithmetic, in: “Proc. 1960 Int. Cong. for Logic, Method. and Philos. of Sci.,” Stanford Univ. Press, Stanford, Calif.
3. Chellas, B. F., 1980, “Modal Logic,” Cambridge University Press, Cambridge, England.
4. Gécseg, F. and Steinby, M., 1982, “Tree Automata,” Akadémia Kiadó, Budapest (to appear in 1983).
5. Kobrinskii, N. E. and Trakhtenbrot, B. A., 1965, “A Theory of Finite Automata,” North-Holland, Amsterdam.