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