Peter Deussen: Some results on the set of congruence relations in a finite, strongly connected automaton. Computing 2(4): 353-367 (1967)