1. Blattner, M. (1972; 1973), The unsolvability of the equality problem for sentential forms of context-free grammars, Notices Amer. Math. Soc., Abstract 72T-C15, p. A-325, and J. Comput. System Sci. 7, 463–468.
2. Büchi, J.R. (1960), On a decision method in restricted second order arithmetic, Proc. Internat. Congr. Logic, Method. and Philos. Sci., Stanford Univ. Press, Stanford, California, 1962, pp. 1–11.
3. Büchi, J.R. and Elgot, C.C. (1958), Decision problems of weak second-order arithmetics and finite automata. Part I, Abstract 553-112, Notices Amer. Math. Soc. 5, 834.
4. Doner, J.E. (1965), Decidability of the weak second-order theory of two successors, Notices Amer. Math. Soc. 12, 819.
5. Herman, G.T. and Rozenberg, G. (1975), Developmental systems and Languages, North-Holland, Amsterdam.