1. Barwise, J. A preservation theorem for interpretations. Cambridge Summer School in Mathematical Logic, Cambridge, 1971, Lecture Notes in Mathematics, Springer-Verlag, Berlin 337 (1973) 618–621
2. Bouvere, K.: Synonymous Theories. The Theory of Models (Addison, Henkin and Tarski, eds.), North-Holland, Amsterdam (1965) 402–406
3. Fause, D.: The Boolean algebra of formulas of first-order logic. Annals of Mathematical Logic 23 (1982) 27–53
4. Feferman, S.: Lectures on proof theory. Proceedings of the Summer School in Logic (Leeds, 1967), Lecture Notes in Mathematics, Berlin 70 (1968) 1–107
5. Gaifman, H.: Operations on relational structures, functors and classes. I. Proceedings of the Tarski Symposium, 1971, Proceedings of Symposia in Pure Mathematics 25, American Mathematical Society, Providence, R.I., (first edition: 1974; second edition: 1979) 21–39