Handbook of automata theory. - Pin, Jean-Éric (EMS Press, 2021)