Elias Procópio Duarte Jr. Martin A. Musicante Diógenes Cogo Furlan Formal specification of SNMPv3 entities using action semantics. 295-303 2004 14 Int. Journal of Network Management 5 http://doi.acm.org/10.1145/1024511.1024513 db/journals/ijnm/ijnm14.html#DuarteMF04