@InProceedings{HoffmannAehligHofmann2011,
  author    = {Jan Hoffmann and Klaus Aehlig and Martin Hofmann},
  title     = {Multivariate amortized resource analysis},
  crossref =  {POPL2011},
  pages     = {357-370},
}

@proceedings{POPL2011,
  editor    = {Thomas Ball and Mooly Sagiv},
  title     = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages},
  booktitle = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages},
  publisher = {Association for Computing Machinery},
  month      = jan,
  year      = 2011,
  isbn      = {978-1-4503-0490-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

