Avtomatizacija poiska defektov v cifrovych ustrojstvach - Kiselev, V. V.; Kon, Je. L.; Šechovcov, Oleg Ivanovič (Energoatomizdat, 1986)