1. An Integrated Approach to Software Engineering, Pankaj Jalote, 3rd Edition.
2. Writing SRS by Don Le Vie, Jr.
3. System Engineering Fundamentals, Defence Acquisition University Press, Jan 2001(www.dau.mil/pubs/pdf)
4. IEEE STD 830, www.ieee.org.
5. Software Engineering, 6th edition, Ian Sommerville 2000
6. Y. Gurevich, Evolving Algebras 1993: Lipari Guide, E. Börger (ed.), Specification and Validation Methods, Oxford University Press, 1995, 9-36. (ISBN 0-198-53854-5)
7. E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003. (ISBN 3-540-00702-4)