Two algorithms for maintaining order in a list (1987)

by P F Dietz, D D Sleator
Venue:In Proc. 19th ACM STOC