Software requirements styles and techniques - Lauesen, Soren (Harlow Addison-Wesley, 2002)
Keywords: Computer software -- Specification