Geraint Jones Mary Sheeran Designing Arithmetic Circuits by Refinement in Ruby. 208-232 1992 conf/mpc/1992 MPC db/conf/mpc/mpc92.html#JonesS92 http://dx.doi.org/10.1007/3-540-56625-2_15