Bergstra, J. A. Defects and Faults in Algorithms, Programs and Instruction Sequences. Transmath 2022.