Тельпухов Д.В., Надоленко В.В., Гуров С.И. Вычисление наблюдаемости элементов комбинационных логических схем с использованием бит-параллельного моделирования. ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА. Труды факультета ВМК МГУ имени М.В. Ломоносова. 2018. № 59. С. 94-110.