A. Miotto and R. Fortes.
" Especificação de um Modelo Formal para Aplicações em Sistemas Hipermídia Abertos", in <em>Companion Proceedings of the 14th Brazilian Symposium on Software Engineering</em>, João Pessoa/PB, 2000, pp. 31-34, doi: <a href="https://doi.org/10.5753/sbes_estendido.2000.24200">https://doi.org/10.5753/sbes_estendido.2000.24200</a>.