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