@inproceedings(part1,
 author       = {David M. Russinoff},
 title        = {A Formalization of Finite Froup Theory},
 booktitle    = {ACL2 2022: 17th International Workshop on the ACL2 Theorem Prover and its Applications},
 address      = {Austin, Texas},
 doi          = {10.4204/EPTCS.359.10},
)
@inproceedings(part2,
 author       = {David M. Russinoff},
 year         = {2023},
 title        = {A Formalization of Finite Froup Theory: Part II},
 booktitle    = {ACL2 2023: 18th International Workshop on the ACL2 Theorem Prover and its Applications},
 address      = {Austin, Texas},
)