Aline Miotto and Renata Fortes. 2000.
 Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos. In <em>Companion Proceedings of the 14th Brazilian Symposium on Software Engineering</em>, October 04, 2000, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 31-34. DOI: <a href="https://doi.org/10.5753/sbes_estendido.2000.24200">https://doi.org/10.5753/sbes_estendido.2000.24200</a>.