Motta, Gustavo, Silvio R. L. Meira, and Luis C. Carvalho.
" Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço." <em>Anais do VII Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.253-267.