Synthesis of Arithmetic Circuits by Jean-Pierre Deschamps & Gustavo D. Sutter