Miotto, A., & 		Fortes, R.
(2000).
 Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos.
In <em>Anais Estendidos do XIV Simpósio Brasileiro de Engenharia de Software</em>, (pp. 31-34). Porto Alegre: SBC.
doi:10.5753/sbes_estendido.2000.24200