@TechReport{	  BeckertPosegga95c,
  author	= {Bernhard Beckert and Joachim Posegga},
  title		= {{\mbox{{\sf leanEA}}}:
		  A Poor Man's Evolving Algebra Compiler},
  institution	= {Universit\"{a}t Karlsruhe, Fakult\"{a}t f\"{u}r Informatik},
  number	= {25/95},
  month		= apr,
  year		= {1995}
}