@TechReport{Zimmer-et-al:98,
  author        = {Wolfgang Goerigk and Wolf Zimmermann and Thilo Gaul and
		  Andreas Heberle and Ulrich Hoffmann},
  title         = {Correct Compilation of a While-Language with Parameterless
		  Recursive Procedures}, 
  institution   = {IPD, {U}niversit\"at {K}arlsruhe},
  year          = 1999,
  type =         {Verifix Working Paper},
  number =       "[Verifix/UKA/15]",
  file          = {WhilCompile},
}