@TechReport{NaumannAIB2008AFf,
  author =	 "Uwe Naumann and Laurent Hasco\"et and Chris Hill and Paul Hovland and Jan Riehme and Jean Utke",
  title =	 "A Framework for Proving Correctness of Adjoint Message Passing Programs",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-06",
  month =	 april,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-06.ps.gz",
}