G. Motta, S. Meira, and L. Carvalho.
" Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço", in <em>Anais do VII Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 1993, pp. 253-267, doi: <a href="https://doi.org/10.5753/sbes.1993.24409">https://doi.org/10.5753/sbes.1993.24409</a>.