@book{BorodinE,author="Allan Borodin and Ran El-Yaniv",
title="Online Computation and Competitive Analysis",
publisher="Cambridge University Press",year=1998}

@unpublished{HaslbeckN,author="Maximilian P.L. Haslbeck and Tobias Nipkow",
title="Verified Analysis of List Update Algorithms",
note="\url{http://www.in.tum.de/~nipkow/pubs/list_update.pdf}",
maonth=feb,year=2016}

@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}
