Man A proof of the nonrestoring division algorithm and its implementation on an ALU (1994)

by D Verkest, L Claesen, H De
Venue:Formal Methods in System Design