Designing arithmetic circuits by re in ruby (1993)

by G Jones, M Sheeran
Venue:In Mathematics of Program Construction