C. Carneiro, R. Reis, and P. Menezes.
"Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus", in <em>Anais do XIII Simpósio Brasileiro de Engenharia de Software</em>, Florianópolis/SC, 1999, pp. 78-93, doi: <a href="https://doi.org/10.5753/sbes.1999.23916">https://doi.org/10.5753/sbes.1999.23916</a>.