1. A.F. Ackerman, P.J. Fowler and R.G. Ebenau, Software inspections and the industrial production of software, in:Software Validation: Inspection, Testing, Alternatives, Alternatives, Proc. Symp. on Software Validation, Darmstadt, Germany, ed. H.-L. Hausen (1983) pp. 13–40.
2. W.R. Adrion, M.A. Branstad and J.C. Cherniavsky, Validation, verification, and testing of computer software, Comp. Surveys 14(1982)159–192.
3. D.J. Aigner, A note on verification of computer simulation models, Manag. Sci. 18(1972)615–619.
4. F.E. Allen and J. Cocke, A program data flow analysis procedure, Commun. ACM 19(1976)137–147.
5. R.C. Backhouse,Program Construction and Verification (Prentice-Hall, London, 1986).