@InProceedings{Cook:SIGPLAN06-415,
  author =       "Byron Cook and Andreas Podelski and Andrey
                 Rybalchenko",
  title =        "Termination Proofs for Systems Code",
  year =         "2006",
  pages =        "415--426",
  ee =           "http://doi.acm.org/10.1145/1133981.1134029",
  editor =       "Michael I. Schwartzbach and Thomas Ball",
  booktitle =    "Proceedings of the {ACM} {SIGPLAN} 2006 Conference on
                 Programming Language Design and Implementation, Ottawa,
                 Ontario, Canada, June 11--14, 2006",
  publisher =    "ACM",
  ISBN =         "1-59593-320-4",
}