Michael Kaminski, Daniel Zeitlin
Finite-Memory Automata with Non-Deterministic Reassignment
AFL, 2010.
@article{AFL-J-2008-KaminskiZ10, author = "Michael Kaminski and Daniel Zeitlin", doi = "10.1142/S0129054110007532", journal = "{International Journal of Foundations of Computer Science}", number = 5, pages = "741--760", publisher = "{World Scientific}", title = "{Finite-Memory Automata with Non-Deterministic Reassignment}", volume = 21, year = 2010, }