Carneiro, Cirney, Rodrigo Quites Reis, and Paulo Blauth Menezes.
"Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus." <em>Anais do XIII Simpósio Brasileiro de Engenharia de Software,
Florianópolis/SC, 1999</em>. SBC, 1999,  
pp.78-93.