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