This document provides an annotated bibliography of research papers related to analyzing and detecting computer viruses and worms. It summarizes several papers that present techniques for detecting malicious code through static analysis, define what constitutes malicious code, examine how viruses and worms can be formally defined, and explore the computational properties of viruses. The bibliography focuses on applying formal methods and static analysis to identify malicious behaviors in executable programs.