Motta, Gustavo, 		Meira, Silvio, E 		Carvalho, Luis.
" Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (27 outubro 1993)