Н. Аушева і С. Шаповалова, «ТЕХНОЛОГІЇ РЕАЛІЗАЦІЇ ЛОГІЧНОГО ВИВЕДЕННЯ В ПРОГРАМНИХ КОМПЛЕКСАХ», спм, вип. 23, с. 11-20, Трав 2022.