Cirney Carneiro, Rodrigo Reis, and Paulo Menezes. 1999.
Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus. In Anais do XIII Simpósio Brasileiro de Engenharia de Software, outubro 13, 1999, Florianópolis/SC, Brasil. SBC, Porto Alegre, Brasil, 78-93. DOI: https://doi.org/10.5753/sbes.1999.23916.