@phdthesis{diss,
  author = {M\'at\'e Kov\'acs},
  title = {Information {F}low {S}ecurity in {T}ree-{M}anipulating {P}rocesses},
  school = {Institut f\"ur Informatik},
  month = {March},
  year = 2014,
  address = {Technische Universit\"at M\"unchen},
}