Two algorithms for maintaining order in a list (1987)

by P F Dietz, D D Sleator
Venue:In Proceedings of the 19th Annual ACM Symposium on Theory of Computing