1. Validation, verification and testing of computer software;Adrion;ACM Computing Surveys,1982
2. The Spine of Software; Designing Provable Correct Software: Theory and Practice;Baber,1987
3. A bibliography on the credibility, assessment and validation of simulation and mathematical models;Balci;Simuletter,1984
4. Validation of simulation models via simultaneous confidence intervals;Balci;American Journal of Mathematical and Management Science,1984
5. Exploratory modeling for policy analysis;Bankes;Operations Research,1993