Tomás Lang Elisardo Antelo Correctly Rounded Reciprocal Square-Root by Digit Recurrence and Radix-4 Implementation. 83-93 2001 conf/arith/2001 IEEE Symposium on Computer Arithmetic http://csdl.computer.org/comp/proceedings/arith/2001/1150/00/11500083abs.htm db/conf/arith/arith2001.html#LangA01