Castro, J., 		Gautreau, C., & 		Céspedes, M.
(1996).
 Towards an Environment to Support Requirements Formalisation.
In <em>Anais do X Simpósio Brasileiro de Engenharia de Software</em>, (pp. 189-205). Porto Alegre: SBC.
doi:10.5753/sbes.1996.24444