@TechReport{TUM-I0903,
  author =       "David Trachtenherz",
  title =        "{Ausf{\"u}hrungssemantik von {AutoFocus}-Modellen:
                 {Isabelle/HOL}-Formalisierung und
                 {\"A}quivalenzbeweis}",
  institution =  "Institut f{\"u}r Informatik, Technische
                 Universit{\"a}t M{\"u}nchen",
  year =         "2009",
  month =        jan,
  type =         "Technical Report",
  URL =          "http://www4.informatik.tu-muenchen.de/publ/papers/TUM-I0903.pdf",
}