@incollection{Maneth10TypeChecking, author = {Sebastian Maneth and Sylvia Friese and Helmut Seidl}, title = {Type-{C}hecking {T}ree {W}alking {T}ransducers}, booktitle = {Modern applications of automata theory}, editor = {Deepak D'Souza and Priti Shankar}, year = 2010, series = {IISc Research Monographs}, volume = {2}, publisher = {World Scientific}, }