A very simple theory of programs called program algebra is introduced in combination with a semantic theory for it called thread algebra. Varous simple applications of these matters are explained including an application to the well-known question raised by Cohen in 1984 concerning the decidability of a program being a computer virus.