1. Beth, E. W. and Tarski, A.: 1956, ‘Equilaterality as the Only Primitive Notion of Euclidean Geometry’, Ind. Math. 18, 462–467.
2. Bouvére, K. de: 1963, ‘Synonymous Theories’, in J. W. Addison, L. Henkin and A. Tarski (eds.), The Theory of Models, North-Holland, Amsterdam, pp. 402–406.
3. Chang, C. C. and Keisler, H. J.: 1973, Model Theory, North-Holland, Amsterdam.
4. Erenfeuht, A.: 1959, ‘Decidability of the Theory of One-Function’, Notices Amer. Math. Soc. 6, 268.
5. Feferman, S.: 1957, ‘Degrees of Unsolvability Associated with Classes of Formalised Theories’, J. Symbolic Logic 22, 161–175.