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