Guidelines for the Verification and Validation of Expert System Software and Conventional Software : User's Manual / L.A. MILLER, J.E. HEYES, S.M. MIRSKY. Washington : U.S. Nuclear Regulatory Commission, 1995. Nestr.[1, currently available 1]