Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory. - William M. Farmer; Dennis Y. Zvigelsky (CoRR, 2023)