Motta, G., 		Meira, S., & 		Carvalho, L.
1993 out 27.  Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :