Н. Н. Бенидзе, «ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП’ЮТЕРНИХ ПРОГРАМ», Опт-ел. інф-енерг. техн., вип. 20, вип. 2, с. 80–83, Січ 2021.