Barry K. Rosen Linear Cost is Sometimes Quadratic. 117-124 1981 POPL db/conf/popl/popl81.html#Rosen81