Two algorithms for maintaining order in a list (1987)

by P DIETZ, D D SLEATOR
Venue:in “Proceedings, 19th Annual ACM Symp. on Theory of Computing