R. H. Oehmke, “MINIMAL CONGRUENCES ON AUTOMATA”, Period. Polytech. Transp. Eng., vol. 19, no. 1-2, pp. 71–77, Jan. 1991.