Castro, Jaelson, Christian Jean Gautreau, and Marco Antonio Toranzo Céspedes.
" Towards an Environment to Support Requirements Formalisation." <em>Proceedings of the 10th Brazilian Symposium on Software Engineering,
São Carlos/SP, 1996</em>. SBC, 1996,  
pp.189-205.