@string{IPL="Information Processing Letters"}

@misc{Brinkop,author={Hauke Brinkop},
title={{Verifikation der amortisierten Laufzeit von Pairing Heaps in Isabelle}},
year={2015},
note={Bachelor's Thesis, Fakult\"at f\"ur Informatik, Technische Universit\"at M\"unchen}}

@book{Cormen-Leiserson-Rivest,
author="Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest",
title="Introduction to Algorithms",publisher="MIT Press",year=1990}

@article{FredmanSST86,
  author    = {Michael L. Fredman and
               Robert Sedgewick and
               Daniel Dominic Sleator and
               Robert Endre Tarjan},
  title     = {The Pairing Heap: {A} New Form of Self-Adjusting Heap},
  journal   = {Algorithmica},
  volume    = {1},
  number    = {1},
  pages     = {111--129},
  year      = {1986}
}

@article{KaldewaijS-IPL91,author="Anne Kaldewaij and Berry Schoenmakers",
title="The derivation of a tighter bound for top-down skew heaps",
journal=IPL,volume=37,pages={265-271},year=1991}

@inproceedings{Nipkow-ITP15,author={Tobias Nipkow},
title={Amortized Complexity Verified},
booktitle={Interactive Theorem Proving (ITP 2015)},editor={C. Urban and X. Zhang},
publisher={Springer},series={LNCS},volume=9236,pages={310-324},year=2015}

@misc{Nipkow-Brinkop,author={Tobias Nipkow and Hauke Brinkop},
title={Amortized Complexity Verified},year=2016,
note={Submitted for publication}}

@book{Okasaki,author="Chris Okasaki",title="Purely Functional Data Structures",
publisher="Cambridge University Press",year=1998}

@article{Schoenmakers-IPL93,author="Berry Schoenmakers",
title="A Systematic Analysis of Splaying",journal=IPL,volume=45,pages={41-50},year=1993}

@article{SleatorT-CACM85,author={Daniel D. Sleator and Robert E. Tarjan},
title={Amortized Efficiency of List Update and Paging Rules},journal={Comm. ACM},
volume=28,number=2,pages={202-208},year=1985}

@article{SleatorT-JACM85,author={Daniel D. Sleator and Robert E. Tarjan},
title={Self-adjusting Binary Search Trees},journal={J. ACM},
volume=32,number=3,pages={652-686},year=1985}

@article{SleatorT-SIAM86,author={Daniel D. Sleator and Robert E. Tarjan},
title={Self-adjusting Heaps},journal={SIAM J. Comput.},
volume=15,number=1,pages={52-69},year=1986}
