1. Безруков Н.Н. Компьютерная вирусология. - К.: УРЕ, 1991.
2. Семьянов П. Красная волна. // НОВИНТЕХ, 1991, N 2.
3. Моисеенков И. Безопасность компьютерных систем. // Компьютер Пресс, 1991, N 10-12.
4. Thompson K. Reflection on trusting trust. // CACM, 1984,v. 27, N 8.
5. Защита программного обеспечения. Под ред. Гроувера Д. -М.: Мир, 1992.
6. Семьянов П., Зегжда Д. Анализ средств противодействия исследованию программного обеспечения. // Компьютер Пресс, 1993, N11.
7. Расторгуев С.П., Дмитриевский Н.Н. Искусство защиты и “раздевания" программ. - М.: 1991.
8. Спесивцев А.В. и др. Защита информации в персональных ЭВМ. М.: Радио и связь, 1992.
9. Cohen F. Computer viruses - theory and experiments. Proceedings of the 7th National Computer Security Conference. -1984.
10. Leonard M. Adleman. An Abstract Theory of Computer Viru-ses. Proceedings of CRYPTO-88 conference. - 1988.
11. Зегжда Д. П., Котляров В. П. Средство сертификации и контроля несанкционированного доступа программ и данных компьютерных сетей. Тезисы докладов третьего всесоюзного семинара “Качество программного обеспечения". - М.: Алгоритм, 1991.
12. Касперский Е. Компьютерные вирусы: эволюция вверх, вниз ив стороны. Материалы эхо-конференции SU.VIRUS. - 1994.
13. Зегжда Д.П., Матвеев В.А., Молотков С.В., Тихомиров Ю.В., под редакцией Шмакова Э. М. Защита информации в компьютерных системах. Теоретические аспекты защиты от вирусов. - СПб.: СПбГТУ, 1993.
14. Cohen F. Computer viruses. Theory and experiments // Adv.Comput. Syst. Secur. Vol. 3 - Norwood (Mass), 1988.
15. Зегжда Д.П., Матвеев В.А., Мешков А.В., Семьянов П.В. Автоматизация анализа безопасности программного обеспечения. Тезисы докладов республиканского научно-технического семинара "Методы и технические средства защиты информации". - Обнинск: 1993.
16. Peterson P.E. Virus Definition Revisited. Материалы эхо-конференции comp.virus. - 1994.
17. Заморин А.П., Марков А.С. Толковый словарь по вычислительной технике и программированию. Основные термины. - М.:Рус.яз., 1988.
18. Вирт Н. Алгоритмы и структуры данных. - М.:Мир, 1989.
19. Матвеев В.А., Молотков С.В., Зегжда Д.П., Мешков А.В., Семьянов П.В., Шведов Д.В. Основы верификационного анализа безопасности исполняемого кода программ. - СПб.:СПбГТУ, 1994.
20. Экспертные системы. Принципы работы и примеры. Под ред. Р. Форсайта. - М.: Радио и связь, 1987.