1. Abrial, J.R.: The B Book: Assigning Programs to Meaning. Cambridge University Press, Cambridge (1995)
2. El-Maddah, I.A., Maibaum, T.S.: Goal-oriented Requirements Analysis of Process Control Systems. In: First MEMOCODE, France (2003)
3. Van Lamsweerde, A., Dardenne, A., Delcourt, B., Dubisy, F.: The KAOS Project: Knowledge acquisition in automated specifications of software. In: Proceeding AAAI Spring Symposium series, Track: Design of Composite Systems, Stanford University, March 1991, pp. 59–62. Stanford University (1991)
4. Van Lamsweerde, A., Letier, E.: Obstacles in Goal-driven Requirement Engineering. In: Proceeding ICSE 1998 20th international conference on software engineering, Kyoto, ACMIEEE (April 1998)
5. Van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirement Engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development (November 1998)