Рекуррентный синтез тестов проверки комбинационных автоматов: [монография] - Скляревич А. Н. Акива Нухимович (Рига, Зинатне, 1981)