Heninger, Karen L.. "Specifying Software Requirements for Complex Systems: New Tech-niques and Their Applications." IEEE Transactions on Software Engineering  6, no. 1 (1980): 2-13.