1. Kuliamin, V.V., Standardization and testing of implementations of mathematical functions in floating point numbers, Program. Comput. Software, 2007, vol. 33, no. 3, pp. 154–173.
2. Nikitin, V.F., A variant for calculating the square root (Newton’s algorithm). http://algolist.manual.ru/ maths/count_fast/sqrt.php.
3. Shelekhov, V.I., Verification and synthesis of effective programs of standard functions floor, isqrt, and ilog2 in predicate programming technology, Problemy upravleniya i modelirovaniya v slozhnykh sistemakh, Trudy 12-i mezhd. konf. (Problems of Control and Modeling in Complex Systems, Proc. 12th Int. Conf.), Samara, 2010, pp. 622–630.
4. Ayad, A. and Marché, C., Multi-prover verification of floating-point programs, Perspectives of System Informatics. PSI 2014; Lect. Notes Artif. Intell., 2010, vol. 6173, pp. 127–141.
5. Barret, G., Formal methods applied to a floating-point number system, IEEE Trans. Software Eng., 1989, vol. 15, no. 5, pp. 611–621.