@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},
}