Miotto, A., & 		Fortes, R.
(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>, (pp. 31-34). Porto Alegre: SBC.
doi:10.5753/sbes_estendido.2000.24200