Finite images and elementary equivalence of completely regular inverse semigroups. F. Oger (1992) Semigroup forum