http://benji3up2kxewkqfcq7buxk2xd6zwy3zggnurkrm3l4cvwy2iipvyyad.onion/mirrors/gmpdoc/References.html
Vanstone, “Handbook of
Applied Cryptography”, http://www.cacr.math.uwaterloo.ca/hac/ Richard M. Stallman and the GCC Developer Community, “Using the GNU Compiler
Collection”, Free Software Foundation, 2008, available online https://gcc.gnu.org/onlinedocs/ , and in the GCC package https://ftp.gnu.org/gnu/gcc/ B.2 Papers Yves Bertot, Nicolas Magaud and Paul Zimmermann, “A Proof of GMP Square
Root”, Journal of Automated Reasoning, volume 29, 2002, pp. 225-252.