G. Lima, A. Moreira, D. Déharbe, D. Pereira, D. Sena, and J. Vidal.
" FERUS: Um Ambiente de Desenvolvimento de Especificações CASL", in <em>Anais do XVI Simpósio Brasileiro de Engenharia de Software</em>, Gramado/RS, 2002, pp. 396-401, doi: <a href="https://doi.org/10.5753/sbes.2002.23965">https://doi.org/10.5753/sbes.2002.23965</a>.