Ward Douglas Maurer Using mathematics to improve ada compiled code, part 2: the proof. 11-26 2007 SIGAda http://doi.acm.org/10.1145/1315580.1315591 conf/sigada/2007 db/conf/sigada/sigada2007.html#Maurer07