Invariant means, right ideals and the structure of semitopological semigroups.´ B. Forrest (1990) Semigroup forum