1. Completing theories by forcing,;Barwise;Annals of Mathematical Logic,1970
2. Definability in algebraically closed groups,;Belegradek;Mathematical Notes of the Academy of Sciences of the USSR,1974
3. Über algebraisch abgeschlossene Gruppen,;Belegradek;Algebra i Logika,1974
4. An algebraic characterisation of groups with soluble word problem,;Boone;J. Austral. Math. Soc.,1974
5. Model Theory;Chang,1973