Raymond J. Rubey Joseph A. Dana Peter W. Biché Quantitative Aspects of Software Validation. 150-155 1975 1 IEEE Trans. Software Eng. 2 db/journals/tse/tse1.html#RubeyDB75