F-disjunctive congruences and a generalization of monoids with length. C.M. Reis — 1990 Semigroup forum