Carneiro, Cirney, 		Reis, Rodrigo, E 		Menezes, Paulo.
" Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (13 outubro 1999)