P. Rowlett, “Programming as a mathematical activity”, MSOR, vol. 18, no. 2, pp. 13–17, Jul. 2020.