Proof checking the RSA public key encryption algorithm (1984)

by Robert S. Boyer, J Strother Moore
Venue:American Mathematical Monthly