V. E. Căzănescu and R. Ceterchi, “Initial and final congruences”, Acta Cybern, vol. 10, no. 3, pp. 199-215, Jan. 1992.