1. Indag. Math. 15;EW Beth,1953
2. J. R. Buchi, Relatively Categorical and Normal Theories, in The Theory of Models, Amsterdam, 1965.
3. J. R. Buchi and K. J. Danhof, Model Theoretic Approaches to Definability, Z. Math. Logik Grundlagen Math. 18 (1972), 61–70.
4. Math. Ann. 130;JR Buchi,1955
5. Proc. Amer. Math. Soc. 8;JR Buchi,1957