Formal verification of square root algorithms
scientific article; zbMATH DE number 1908523