"A Proof of the Nonrestoring Division Algorithm and its Implementation on ..."

Diederik Verkest, Luc J. M. Claesen, Hugo De Man (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics