1. B. Nuseibeh, A. Russo, J. Kramer, Restructuring requirements specifications for managing inconsistency and change: a case study, Proceedings of the 20th International Conference on Software Engineering, 1998.
2. Managing conflicts in goal-driven requirements engineering;Darimont;IEEE Transactions on Software Engineering,1998
3. A.I. Anton, Goal-based requirements analysis, Proceedings of the International Conference on Requirements Engineering, 1996, pp. 136–144.
4. R. Balzer, N. Goldman, Principles of good software specification and their implications for specification languages, Proceedings of the IEEE Conference on Specifications of Reliable Software, 1979, pp. 58–67.
5. Informality in program specifications;Balzer;IEEE Transactions on Software Engineering,1978