MILLER, L.A. - HAYES, J.E. - MIRSKY, S.M. Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Project Summary. B.v. Washington : U.S. Nuclear Regulatory Commission, 1995. 157 s. NUREG/CR-6316. SAIC-95/1028.