N. J. Sobin, “The halting problem”, Proc Ling Soc Amer, vol. 1, pp. 3:1–10, Jun. 2016, doi: 10.3765/plsa.v1i0.3700.