J. Vanderhyde, “The Halting Problem: CS0”, PAC, vol. 3, no. 4, Jan. 2023.