@misc{,
  author={Jan Olaf Blech},
  title=\{Spezifikation und maschinelle Verifikation von Konstantenfaltung in {\"U}bersetzern},
  year=\{2003},
  month=\{Mai},
  school=\{Universit{\"a}t Karlsruhe},
  institution=\{Institut f{\"u}r Programmstrukturen und Datenorganisation},
  url=\{http://www.info.uni-karlsruhe.de/papers/2003-SA-Blech.pdf},
}