Miotto, A., & 		Fortes, R.
2000 Oct  4.  Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos. Companion Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :