Gustavo Motta, Silvio Meira, and Luis Carvalho. 1993. Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço. In Proceedings of the 7th Brazilian Symposium on Software Engineering, October 27, 1993, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 253-267. DOI: https://doi.org/10.5753/sbes.1993.24409.