Miotto, Aline, and Renata Pontin de Mattos Fortes.
" Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos." <em>Companion Proceedings of the 14th Brazilian Symposium on Software Engineering,
João Pessoa/PB, 2000</em>. SBC, 2000,  
pp.31-34.