**[Cohen86]** F. Cohen, *Computer Viruses* ASP Press, 1986. [This
Ph.D. dissertation provides the mathematical basis for most of the
mathematical work on computer viruses to date, including the formal
definition, proof of undecidability, properties of viruses and viral sets,
and proof that transitivity, Turing capability, and sharing lead to viral
spread.]

fc@red.all.net