Greg Michaelson: Programming Paradigms, Turing Completeness and Computational Thinking. Art Sci. Eng. Program. 4(3): 4 (2020)