Tree automata - Gécseg, Ferenc; Steinby, Magnus (rz1, 1984)