Norihisa Suzuki Analysis of Pointer Rotation. 1-11 1980 POPL db/conf/popl/popl80.html#Suzuki80