Beyond Rogers' Non-constructively Computable Function. - John Case; Michael Ralston (CiE, 2013)

Non-Obfuscated Unprovable Programs & Many Resultant Subtleties. - John Case; Michael Ralston (Log. Methods Comput. Sci., 2016)