Castro, Jaelson, 		Gautreau, Christian, AND 		Céspedes, Marco.
" Towards an Environment to Support Requirements Formalisation" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (14 October 1996)