-
@incollection{THOM97, author = {Thomas, Wolfgang}, booktitle = {Handbook of formal languages}, doi = {10.1007/978-3-642-59136-5}, editor = {Rozenberg, Grzegorz and Salomaa, Arto}, isbn = {978-3-540-60420-4,978-3-642-63863-3,978-3-642-59136-5}, pages = {389--455}, publisher = {Springer}, sha256 = {C6422F792FC953D77F8C83F98AFF5A818A25F5DAFF0EB00D5CF84F826F1E2A5C}, title = {Languages, automata, and logic}, year = {1997} }