Lima, G., 		Moreira, A., 		Déharbe, D., 		Pereira, D., 		Sena, D., & 		Vidal, J.
2002 out 16.  FERUS: Um Ambiente de Desenvolvimento de Especificações CASL. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :