On normalization and type checking for tree transducers - Friese, Sylvia (2011)