@techreport{BeckertSchlagerSchmittTechRep2005,
  author =       {Bernhard Beckert and Steffen Schlager and Peter H. Schmitt},
  title =        {An Improved Rule for While Loops in Deductive Program Verification},
   institution   = {Universit\"at Karlsruhe, Faculty for Computer Science},
   type          = {Technical Report in Computing Science No.\ 2005-26},
   year          = {2005}
}