Formal Characterisations of 'Algorithm'

https://declanthompson.github.io/project/algorithms/