A Semântica de Ações de Vírus de Computador. - Lin Tse Min; Silvio Romero de Lemos Meira (SBES, 1992)