E-varieties of regular semigroups, relatively bifree objects and fully invariant congruences. M. Mangold (1995) Semigroup forum