An Automatic Speed-up of Random Access Machines with Powerful Arithmetic Instructions.

Ingolf Wald An Automatic Speed-up of Random Access Machines with Powerful Arithmetic Instructions. 108-117 1988 conf/stacs/1988 STACS db/conf/stacs/stacs88.html#Wald88 http://dx.doi.org/10.1007/BFb0035837