Computer Arithmetic: Logic, Calculus and Rewriting. - Marco Benini; Dirk Nowotka; Carl Pulley (FroCoS, 1998)