Pirmez, L.; Pedroza, A.; Mesquita, A. Síntese De Alto Nível De Protocolos De Comunicação Especificados Na Linguagem Formal Estelle Usando O Ambiente Amical<br >DOI: 10.14209 Jcis.1997.7. Journal of Communication and Information Systems 2015, 12.