L. Adleman, An Abstract Theory of Computer Viruses, Advances in Cryptology ? CRYPTO'88, 1988.
DOI : 10.1007/0-387-34799-2_28

M. Bishop, An overview of computer viruses in a research environment, 1991.

D. Chess and S. White, An undetectable computer virus

F. Cohen, Computer viruses, Computers & Security, vol.6, issue.1, 1986.
DOI : 10.1016/0167-4048(87)90122-2

F. Cohen, Computer viruses, Computers & Security, vol.6, issue.1, pp.22-35, 1987.
DOI : 10.1016/0167-4048(87)90122-2

F. Cohen, Models of practical defenses against computer viruses, Computers & Security, vol.8, issue.2, 1987.
DOI : 10.1016/0167-4048(89)90070-9

M. Davis, Computability and unsolvability, 1958.

S. Goel and S. Bush, Kolmogorov complexity estimates for detection of viruses in biologically inspired security systems: A comparison with traditional approaches, Complexity, vol.90, issue.2, pp.54-73, 2003.
DOI : 10.1002/cplx.20004

S. Anderson, H. Thimbleby, and P. Cairns, A framework for medelling trojans and computer virus infection, Comput. J, vol.41, pp.444-458, 1999.

N. Jones, Computer implementation and applications of kleene's S-m-n and recursive theorems, Lecture Notes in Mathematics Logic From Computer Science, pp.243-263, 1991.

M. Li and P. Vitányi, An Introduction to Kolmogorov Complexity and its Application, 1997.

M. Ludwig, The Giant Black Book of Computer Viruses, 1998.

P. Odiffredi, Classical recursion theory, 1989.

H. Rogers, Theory of Recursive Functions and Effective Computability, 1967.

P. Szor, The Art of Computer Virus Research and Defense, 2005.

A. M. Turing, On computable numbers with an application to the entscheidungsproblem, Proc, vol.42, issue.2, pp.230-265, 1936.

V. A. Uspenskii, Enumeration operators ans the concept of program, Uspekhi Matematicheskikh Nauk, issue.11, 1956.

J. Neumann and A. W. Burks, Theory of self-reproducing automata, 1966.

Z. Zuo and M. Zhou, Some further theorical results about computer viruses, The Computer Journal, 2004.
DOI : 10.1093/comjnl/47.6.627

URL : http://comjnl.oxfordjournals.org/cgi/content/short/47/6/627