Aline Miotto and Renata Fortes. 2000. Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos. In Anais Estendidos do XIV Simpósio Brasileiro de Engenharia de Software, outubro 04, 2000, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 31-34. DOI: https://doi.org/10.5753/sbes_estendido.2000.24200.