Castro, Jaelson, 		Gautreau, Christian, E 		Céspedes, Marco.
" Towards an Environment to Support Requirements Formalisation" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (14 outubro 1996)