Vanderhyde, J. The Halting Problem: CS0. PAC 2023, 3.