Designing arithmetic circuits by refinement in (1994)

by Geraint Jones, Mary Sheeran
Venue:Mathematics of Program Construction (2nd international conference