@inproceedings{AKL09,
 author    = {B. Aminof and O. Kupferman and R. Lampert},
 title     = {Reasoning about online algorithms with weighted automata},
 booktitle = {Proc.\ 20th ACM-SIAM Symp. on Discrete Algorithms},
 pages     = {835-844},
 year      = {2009}
}