@phdthesis{Haftmann2009PhD,
  author = {Florian Haftmann},
  title = {Code Generation form Specifications in Higher-Order-Logic},
  school = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
  year = {2009},
  url = {\url{http://www4.informatik.tu-muenchen.de/~haftmann/pdf/codegen_hol_haftmann_phd.pdf}},
}
