Towards an Environment to Support Requirements Formalisation. - Jaelson Freire Brelaz de Castro; Christian J. Gautreau; Marco Antonio Toranzo Céspedes (SBES, 1996)

Tool support for requirements formalisation. - Jaelson F. B. Castro; Christian J. Gautreau; Marco A. Toranzo (ISAW/Viewpoints@FSE, 1996)

Multiview: Requirements Modeling and Formalisation. - Jaelson F. B. Castro; Marco A. Toranzo; Christian J. Gautreau; Marcio A. S. Bueno (SBES, 1997)