Miotto, Aline, AND 		Fortes, Renata.
" Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos" <em>Companion Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (4 October 2000)