On right congruences associated with the input semigroup S of automata. C.H. Park — 1994 Semigroup forum