Mikolaj Bojanczyk Tree-Walking Automata. 1-2 2008 LATA http://dx.doi.org/10.1007/978-3-540-88282-4_1 conf/lata/2008 db/conf/lata/lata2008.html#Bojanczyk08