1. Validation, verification and testing of computer software;Adrion,1981
2. Reliability and fault tree analysis,1975
3. Safety implications of programmable equipment;Bell;Electrical Review,1982
4. Microcomputer project management;Gallacher;Microprocessors and Microsystems,1981
5. Software Reliability Guidebook;Glass,1979