Lima, G., 		Moreira, A., 		Déharbe, D., 		Pereira, D., 		Sena, D., & 		Vidal, J.
(2002).
 FERUS: Um Ambiente de Desenvolvimento de Especificações CASL.
In <em>Proceedings of the 16th Brazilian Symposium on Software Engineering</em>, (pp. 396-401). Porto Alegre: SBC.
doi:10.5753/sbes.2002.23965