@book{hat-pin-1, title = {Handbook of automata theory}, editor = {Pin, Jean-{\'E}ric}, booktitle = {Handbook of automata theory}, publisher = {EMS~Press}, volume = {1}, year = {2021}, doi = {10.4171/AUTOMATA-1}, }