Tree automata - Gécsek, Ferenc; Steinby, Magnus (Akadémiai Kiadó, 1984)