Miotto, A., & 		Fortes, R.
2000 out  4.  Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos. Anais Estendidos do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :