Programming with small blocks. - Mark K. Joseph (ACM SIGSOFT Softw. Eng. Notes, 1984)

A fault tolerance approach to computer viruses. - Mark K. Joseph; Algirdas Avizienis (S&P, 1988)