1. Aransay, J., Ballarin, C., Baillon, M., de Vilhena, P.E., Hohe, S., Kammüller, F., Paulson, L.C.: The Isabelle/HOL Algebra Library. Technical report, Isabelle Library, University of Cambridge Computer Laboratory and Technische Universität München (2019). https://isabelle.in.tum.de/dist/library/HOL/HOL-Algebra/document.pdf
2. Artin, M.: Algebra, 2nd edn. Pearson, London (2010)
3. Ayala-Rincón, M., de Moura, F.L.C.: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs. UTiCS. Springer (2017). https://doi.org/10.1007/978-3-319-51653-0
4. Ballarin, C.: Exploring the structure of an algebra text with locales. J. Autom. Reason. (2019). https://doi.org/10.1007/s10817-019-09537-9
5. Bini, G., Flamini, F.: Finite Commutative Rings and Their Applications, vol. 680. Springer, Berlin (2012)