Especificação de um modelo formal para aplicações em sistemas hipermídia abertos - Miotto, Aline Maria Malachini; Fortes, Renata Pontin de Mattos (Workshop de Teses e Dissertacões em Andamento do ICMC/USP, 2001)