@TECHREPORT{Schmitt94,
   AUTHOR       = {Peter~H.~Schmitt},
   INSTITUTION  = {Fakult\"{a}t f\"{u}r Informatik, Universit\"{a}t Karlsruhe},
   NUMBER       = {33/94},
   TITLE        = {Proving {WAM} Compiler Correctness},
   TYPE         = {Technical Report},
   YEAR         = {1994}
}