Especificação formal do SNMPv3 usando semântica de ações - Furlan, Diógenes Cogo (2000)
Orientador: Martin A. Musicante