1. Indagationes Mathematicae 15;EW Beth,1953
2. Büchi, J. R., Affine definability of affine invariants of Euclidian geometry. Notices Amer. Math. Soc. 15, No. 6, 68T-E23.
3. Büchi, J. R., Relatively categorical and normal theories. In: The Theory of Models. Amsterdam 1965.
4. Büchi, J. R., and W. Craig, Notes on the family PC Δ of sets of models. J. Symb. Logic 21 (1965).
5. Büchi, J. R., and K. Danhof, A strong form of Beth’s definability theorem. Notices Amer. Math. Soc. 15, No. 6, 68T–E22.