Miotto, Aline, and Renata Pontin de Mattos Fortes. " Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos." Anais Estendidos do XIV Simpósio Brasileiro de Engenharia de Software, João Pessoa/PB, 2000. SBC, 2000, pp.31-34.