[1]
J. A. Bergstra, “Errors, Failures, and Faults in the Context of Elementary Arithmetic”, Transmath, Dec. 2024.