@InProceedings{Podelski:ESOP05-94,
  author =       "Andreas Podelski and Ina Schaefer and Silke Wagner",
  title =        "Summaries for While Programs with Recursion",
  year =         "2005",
  pages =        "94--107",
  ee =           "http://springerlink.metapress.com/content/nrhryge1pbee1e5e",
  editor =       "Shmuel Sagiv",
  booktitle =    "Programming Languages and Systems, 14th European
                 Symposium on Programming, {ESOP} 2005, Held as Part of
                 the Joint European Conferences on Theory and Practice
                 of Software, {ETAPS} 2005, Edinburgh, {UK}, April 4--8,
                 2005, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3444",
  ISBN =         "3-540-25435-8",
}