@InProceedings{BeckertSchlagerSchmitt2005,
  author =       {Bernhard Beckert and Steffen Schlager and Peter H. Schmitt},
  title =        {An Improved Rule for While Loops in Deductive Program Verification},
  booktitle =    {Proceedings, Seventh International Conference on
                  Formal Engineering Methods (ICFEM), Manchester, UK},
  editor =       {Kung-Kiu Lau},
  publisher =    {Springer},
  series =       {LNCS 3785},
  pages =        {315--329},
  year =         {2005}
}