Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Survey and Assessment of Conventional Software Verification and Validation Methods / L.A. MILLER, E.H. GROUNDWATER, J.E. HAYES, S.M. MIRSKY. Washington : U.S. Nuclear Regulatory Commission, 1995. 175 s.[1, currently available 1]