1. Automata on a 2-Dimensional Tape;Blum,1967
2. Expressive Power of Pebble Automata;Bojánczyk,2006
3. On the Real-state Processing of Regular Operations and The Sakoda-Sipser Problem;Casas;Electr. Notes Theor. Comput. Sci.,2016
4. Combinatorial Set Theory With a Gentle Introduction to Forcing;Halbeisen,2014
5. Introduction to Automata Theory, Languages and Computation;Hopcroft,2002