John Harrison Formal Verification of Square Root Algorithms. 143-153 2003 22 Formal Methods in System Design 2 http://dx.doi.org/10.1023/A:1022973506233 db/journals/fmsd/fmsd22.html#Harrison03