Maslennikovaand Rodaro. Representation of (left) Ideal Regular Languages by Synchronizing Automata. Springer International Publishing, 2015, doi:10.1007/978-3-319-20297-6_21.