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

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

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

F. B. Cohen, Models of practical defences against computer viruses: theory and experiments, Comput. Secur, vol.6, issue.1, 1987.

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

P. Odiffredi, Classical recursion theory, 1989.

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

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

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