Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço. - Gustavo H. M. B. Motta; Silvio R. L. Meira; Luis C. Carvalho (SBES, 1993)