MIOTTO, Aline Maria Malachini; 						FORTES, Renata Pontin de Mattos.
 Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos. <em>In</em>: WORKSHOP DE TESES E DISSERTAÇÕES EM ENGENHARIA DE SOFTWARE - SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 14.	, 2000, João Pessoa/PB.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2000
.
 p. 31-34. 
		DOI: <a href="https://doi.org/10.5753/sbes_estendido.2000.24200">https://doi.org/10.5753/sbes_estendido.2000.24200</a>.