@misc{Bl03,
  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}
}