@InProceedings{Beckert:ICFEM05-315,
  author =       "Bernhard Beckert and Steffen Schlager and Peter H.
                 Schmitt",
  title =        "An Improved Rule for While Loops in Deductive Program
                 Verification",
  year =         "2005",
  pages =        "315--329",
  ee =           "http://dx.doi.org/10.1007/11576280_22",
  URL =          "http://www.uni-koblenz.de/~beckert/pub/icfem05.pdf",
  editor =       "Kung-Kiu Lau and Richard Banach",
  booktitle =    "Formal Methods and Software Engineering, 7th
                 International Conference on Formal Engineering Methods,
                 {ICFEM} 2005, Manchester, {UK}, November 1--4, 2005,
                 Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3785",
  ISBN =         "3-540-29797-9",
}