1. Progress in Computer Science and Applied Logic;S.S. Buss,1995
2. Ceruzzi, P.E.: Reckoners, the Prehistory of the Digital Computer, from Relays to the Stored Program Concept, 1933–1945. Greenwood Press, Westport, Conn. (1983)
3. Copeland, J. (ed.): The Essential Turing. Oxford University Press, Oxford (2004)
4. Davis, M.: The Universal Computer. The Road from Leibniz to Turing. W.W. Norton and Company, New York (2004)
5. Dowling, W.F.: There Are No Safe Virus Tests. American Mathematical Monthly 96, 835–836 (1989)