Oehmke, R. H. (1991) “MINIMAL CONGRUENCES ON AUTOMATA”, Periodica Polytechnica Transportation Engineering, 19(1-2), pp. 71–77.