@mastersthesis{,
  author={Jan Olaf Blech},
  title=\{ Eine formale Semantik f{\"u}r SSA-Zwischensprachen in Isabelle/HOL },
  year=\{2004},
  month=\{M{\"a}rz},
  organization=\{Universit{\"a}t Karlsruhe, Fakult{\"a}t f{\"u}r Informatik},
  url=\{http://www.info.uni-karlsruhe.de/papers/2004-DA-Blech.pdf},
}