Author:
Hurst R S,Downes V A,Browton G H,Hamer P G,Tully C J
Reference100 articles.
1. ANSI/IEEE Standard 830–1984, Software Requirements Specification (1984)
2. ‘Applications and extensions of SADT’;ROSS;IEEE Computer,1985
3. Systematic Software Development Using VDM;JONES,1986
4. Communicating Sequential Processes;HOARE,1985
5. ‘Program development by stepwise refinement’;WIRTH;Comm. ACM,1971