1. J.R. Büchi, On a decision method in restricted second order arithmetic, in: Logic, Methodology and Philosophy of Science, Proc. 1960 Intern. Congr. (E. Nagel et al. Eds.), Stanford Univ. Press 1962, pp. 1–11.
2. J.R. Büchi, Decision methods in the theory of ordinals, Bull. of the Amer. Math. Soc 71, (1965), 767–770.
3. J.R. Büchi, State-strategies for games in G σδ, J. Symb. Logic 48 (1983), 1171–1198.
4. E. M. Clarke, N. Francez, Y. Gurevich, P. Sistla, Can message buffers be characterized in linear temporal logic?, Symp. on Principles of Distributed Computing, ACM 1982, 148–156.
5. C.C. Chang, H.J. Keisler, Model Theory, North-Holland, Amsterdam 1973.