1. COeL The Logical Design of an Idealized General- Purpose Computer;Bt' RES;J. Franklin Inst.,1956
2. Tests on a Cell Assembly Theory of the Action of the Brain, Using a Large Digital Computer;IRE Trans. on Information Theory,1956
3. TURXNG A. M. On Computable Numbers with an Application to the Entscheidungsproblem Proe. London Math. Sac. (Series 2) /e ~: .230--265 (1936-37) with a correction ibid. 45:544-546 (1937). TURXNG A. M. On Computable Numbers with an Application to the Entscheidungsproblem Proe. London Math. Sac. (Series 2) /e ~: .230--265 (1936-37) with a correction ibid. 45:544-546 (1937).