Return to Article Details Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos Download Download PDF