https://www.red-gate.com/simple-talk/opinion/geek-of-the-week/sir-tony-hoare-geek-of-the-week/
After inventing the QuickSort algorithm, and designing the compiler for the Algol 60 programming language, Tony Hoare went on to apply axiomatic semantics to...
tony hoarethe weeksirgeeksimple