MILLER, L.A. - HEYES, J.E. - MIRSKY, S.M. Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Evaluation of Knowledge Base Certification Methods. B.v. Washington : U.S. Nuclear Regulatory Commission, 1995. 121 s. NUREG/CR-6316. SAIC-95/1028.