Miotto, Aline, E 		Fortes, Renata.
" Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos" <em>Anais Estendidos do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (4 outubro 2000)