@TechReport{IndermarkNoll04,
  author =	 "Klause Indermark and Thomas Noll",
  title =	 "Algebraic Correctness Proofs for Compiling 
                  Recursive Function Definitions with Strictness Information",
  institution =	 "RWTH Aachen University",
  year =	 "2004",
  number =	 "AIB--08--2004",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-08.ps.gz",
}