1. A Discipline of Programming;Dijkstra,1976
2. Guide to Assessment of Reliability of Systems Containing Software;BSI,1991
3. ISO 9000-3 Quality Management and Quality Assurance Standards — Part 3: Guidelines for the Application of ISO 9001 to the Development, Supply and Maintenance of Software;ISO,1991
4. A Method for Assessing the Software Engineering Capability of Contractors;Humphrey,1987
5. Systematic Software Development Using VDM;Jones,1990