@mastersthesis{mastersthesis9e7233bf, title = {Especificação de um modelo formal para aplicações em sistemas hipermídia abertos}, author = {Miotto, Aline Maria Malachini and Fortes, Renata Pontin de Mattos}, year = {2001}, school = {Universidade de São Paulo} }