@phdthesis{Friese10Thesis,
  author = {Sylvia Friese},
  title = {On {N}ormalization and {T}ype {C}hecking for {T}ree {T}ransducers},
  school = {Institut f\"ur Informatik},
  month = {July},
  year = 2011,
  address = {Technische Universit\"at M\"unchen},
}