An abstract theory of computer viruses (invited talk)