Bergstra, Jan Aldert. “Defects and Faults in Algorithms, Programs and Instruction Sequences”. Transmathematica (September 26, 2022). Accessed April 17, 2024. https://transmathematica.org/index.php/journal/article/view/49.