@inproceedings{HoffHof10,
  author    = {Jan Hoffmann and
               Martin Hofmann},
  title     = {{Amortized Resource Analysis with Polynomial Potential - A
             Static Inference of Polynomial Bounds for Functional Programs}},
  booktitle = {{In Proceedings of the 19th European Symposium on Programming (ESOP'10)}},
  pages     = {287-306},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6012},
  year      = {2010}
}