Edgar G. Daylight: The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian. Comput. 10(2): 141-158 (2021)