@Inproceedings{EPTCS192.5, author = {Cowles, John and Gamboa, Ruben}, year = {2015}, title = {Perfect Numbers in ACL2}, editor = {Kaufmann, Matt and Rager, David L.}, booktitle = {{\rm Proceedings Thirteenth International Workshop on the} ACL2 Theorem Prover and Its Applications, {\rm Austin, Texas, USA, 1-2 October 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {192}, publisher = {Open Publishing Association}, pages = {53-59}, doi = {10.4204/EPTCS.192.5}, }