A proof of the nonrestoring division algorithm and its implementation on an ALU
scientific article; zbMATH DE number 502991