@mastersthesis{Bl04, 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} }