Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Bibliography / L.A. MILLER, J.E. HEYES, S.M. MIRSKY. Washington : U.S. Nuclear Regulatory Commission, 1995. 48 s.[1, z toho volných 1]