Lopes de Souza, W.; Stiubiener, S. Especificação, Verificação E Testes De Protocolos<br >DOI: 10.14209 Jcis.1988.1. Journal of Communication and Information Systems 2015, 3.