Green's Relations in Deterministic Finite Automata. - Fleischer, Lukas; Kufleitner, Manfred (Theory of Computing Systems, 2019)