@TechReport{	  BeckertHaehnle1996,
  author	= {Bernhard Beckert and Reiner H\"ahnle},
  title		= {Proving Compiler Correctness with Evolving Algebra Specifications},
  series	= {Technischer Bericht},
  institution	= {Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik},
  number	= {96/4},
  year		= {1996}
}