Jeffrey Sheldon Walter Lee Ben Greenwald Saman P. Amarasinghe Strength Reduction of Integer Division and Modulo Operations. 254-273 2001 conf/lcpc/2001 LCPC https://doi.org/10.1007/3-540-35767-X_17 db/conf/lcpc/lcpc2001.html#SheldonLGA01