Barry K. Rosen Linear Cost is Sometimes Quadratic. 117-124 1981 conf/popl/81 POPL db/conf/popl/popl81.html#Rosen81 http://doi.acm.org/10.1145/567532.567545