Validation, verification, and testing of computer software / - Adrion, W. Richards. (U.S. Dept. of Commerce, National Bureau of Standards :, 1981)