1. Baskerville, R. (1994) Information system security design methods: implications for information systems development. ACM Computing Surveys. Vol., 25, N°.4.
2. Blyth, A.J.C., Chudge, J., and Dobson, J.E. (1993) ORDIT: a new methodology to assist in the process of eliciting and modelling organisational requirements. In Simon Kaplan, editor, Proc. of the Conference on Organizational Computing Systems - COOCS’93, Milpitas CA, ACM Press.
3. Dardenne, A., van Lamsweerde, A., Fickas, S. (1993) Goal-Directed Requirements Acquisition. Science of Computer Programming, Vol. 20.
4. Du Bois, Ph. (1995) The AlbertII Language - On the Design and the Use of a Formal Specification Language for Requirements Analysis. PhD Thesis, Computer Science Department of Namur University, Belgium.
5. Dubois, E., Du Bois, Ph., and Petit, M. (1994) Albert: an Agent-oriented language for building and eliciting requirements for real-time systems. In Proceedings of the 27th Hawaii International Conference on System Sciences - HICSS-27.