BibTeX:
@InProceedings{haslbeck_et_al:LIPIcs:2016:6884,
author ={Maximilian P. L. Haslbeck and Tobias Nipkow},
title ={{Verified Analysis of List Update Algorithms}},
booktitle ={36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)},
pages ={49:1--49:15},
series ={Leibniz International Proceedings in Informatics (LIPIcs)},
year ={2016},
volume ={65},
editor ={Akash Lal and S. Akshay and Saket Saurabh and Sandeep Sen},
publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
URL ={http://drops.dagstuhl.de/opus/volltexte/2016/6884},
doi ={http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.49}
}
Online article