Finite images and elementary equivalence of completely regular inverse semigroups. F. Oger (1992) Semigroup forum
First Order Classes of Groups Having no Groups With a Given Property Nataša Božović (1985) Publications de l'Institut Mathématique