There is a paper by Fresola here [Integer Construction by Induction](http://drc.denison.edu/bitstream/handle/2374.DEN/5016/Integer%20Construction.pdf) that seems to do what you want to achieve.