Jeffrey Sheldon Walter Lee Ben Greenwald Saman P. Amarasinghe Strength Reduction of Integer Division and Modulo Operations. 254-273 2001 conf/lcpc/2001 LCPC http://link.springer.de/link/service/series/0558/bibs/2624/26240254.htm db/conf/lcpc/lcpc2001.html#SheldonLGA01