Технические наукиSynthesis of Arithmetic CircuitsJean-Pierre Deschamps, Gustavo D. Sutter, Gery J.A. Bioul