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