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