1. Validation, Verification and Testing of Computer Software;Adrion;ACM Computing Surveys,1982
2. How to Solve it by Computer;Dromey,1982
3. Software Engineering Concepts;Fairley,1985
4. An Experimental Program Testing Facility;Fairley;IEEE Trans. Software Engineers,1975
5. Data Flow Analysis in Software Reliability;Fosdick;Comput. Surveys,1976