M. Dantas and J. Wainer.
" ST-Modeler: Um Ambiente para Desenvolvimento e Verificação de Guias de Conduta Médica", in <em>Anais do VIII Workshop de Informática Médica</em>, Belém/PA, 2008, pp. 151-162.