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." Anais do XIII Simpósio Brasileiro de Engenharia de Software, Florianópolis/SC, 1999. SBC, 1999, pp.78-93.