Theory of Computation https://uvatoc.github.io/week10 (also week9) 19.2 An Undecidable Problem Nathan Brunelle and David Evans University of Virginia
No download links available.