1. Gotel, O. C. Z., & Finkelstein, A. C. W. (1994). “An analysis of the requirements traceability problem,” presented at The First International Conference on Requirements Engineering. Colorado Springs.
2. Greenspan, S., Mylopoulos, J., and Borgida, A. “On formal requirements modeling languages: RML revisited,” presented at 16th International Conference on Software Engineering, Sorrento, Italy, 1994.Formal and Informal in RE Cybulski 10.
3. Hall, A. (1990). Seven myths of formal methods. IEEE Software, 11–19.
4. Hofmann, H. F. (1993). Requirement engineering: A survey of methods and tools. Institut fŸr Informatik der Universitat ZŸrich, 93, 05.
5. Hollocker, C. P. (1990). A review process mix. In R. H. Thayer & M. Dorfman (Eds.), System and software requirements engineering (pp. 485–491). IEEE Computer Society Press.