J. A. Bergstra and M. Düwell, “Accusations in the context of computer programming”, Transmath, Oct. 2022.