Bergstra, J. A. (2024). Structural Equivalence of Arithmetical Expressions as a Technical Basis for Philosophical Arithmetic. Transmathematica. https://doi.org/10.36285/tm.99