"Verified Analysis of List Update Algorithms."

Maximilian P. L. Haslbeck, Tobias Nipkow (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics