@inproceedings(DBLP:conf/acl2/CowlesG06,
 author       = {J. Cowles and R. Gamboa},
 year         = {2006},
 title        = {Unique factorization in {ACL2:} Euclidean domains},
 booktitle    = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA, August 15-16, 2006},
 pages        = {21--27},
 doi          = {10.1145/1217975.1217980},
)
@inproceedings(DBLP:conf/itp/GamboaC12,
 author       = {R. Gamboa and J. Cowles},
 year         = {2012},
 title        = {A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers},
 booktitle    = {Interactive Theorem Proving - Third International Conference, {ITP} 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
 pages        = {51--66},
 doi          = {10.1007/978-3-642-32347-8_5},
)
@misc(youtube:primitive-roots,
 author       = {{Mu Prime Math}},
 year         = {2020},
 title        = {Proof: Every Prime has a Primitive Root},
 howpublished = {\url{https://www.youtube.com/watch?v=kHrNBwsM3lY}},
)
@article(Russ:quadratic-reciprocity,
 author       = {D. Russinoff},
 year         = {1992},
 title        = {A Mechanical Proof of Quadratic Reciprocity.},
 journal      = {J. Autom. Reasoning},
 volume       = {8},
 pages        = {3--21},
 doi          = {10.1007/BF00263446},
)
@book(silverman2006friendly,
 author       = {J.H. Silverman},
 year         = {2006},
 title        = {A Friendly Introduction to Number Theory},
 series       = {Pearson education international},
 publisher    = {Pearson Prentice Hall},
 url          = {https://books.google.com/books?id=ypE\_AQAAIAAJ},
)
@misc(kestrel:pfield,
 author       = {E. Smith},
 year         = {2019},
 title        = {Prime Fields Community Books},
 howpublished = {\url{https://www.cs.utexas.edu/users/moore/acl2/v8-4/combined-manual/index.html?topic=PFIELD____PRIME-FIELDS}},
)
@misc(Russ:quadratic-reciprocity-books,
 author       = {E. Smith},
 year         = {2019},
 title        = {Quadratic Reciprocity Community Books},
 howpublished = {\url{https://www.cs.utexas.edu/users/moore/acl2/manuals/latest/?topic=RTL____NUMBER-THEORY}},
)