@incollection{Czyba_2015,
    doi = {10.1007/978-3-319-21500-6_16},
    url = {https://doi.org/10.1007%2F978-3-319-21500-6_16},
    year = {2015},
    publisher = {Springer International Publishing},
    pages = {203--214},
    author = {Christopher Czyba and Christopher Spinrath and Wolfgang Thomas},
    title = {Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change},
    booktitle = {Developments in Language Theory}
}

@incollection{Czyba_2015, doi = {10.1007/978-3-319-21500-6_16}, url = {https://doi.org/10.1007%2F978-3-319-21500-6_16}, year = {2015}, publisher = {Springer International Publishing}, pages = {203--214}, author = {Christopher Czyba and Christopher Spinrath and Wolfgang Thomas}, title = {Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change}, booktitle = {Developments in Language Theory} }