Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. - Christopher Czyba; Wolfgang Thomas; Christopher Spinrath (Int. J. Found. Comput. Sci., 2018)