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