Synchronizing groups and automata. - Fredrick Arnold; Benjamin Steinberg (Theor. Comput. Sci., 2006)