Сачанюк-Кавецька, Н. ., О. . Прозор, В. . Хом’юк, і Р. . Шевчук. «МАТЕМАТИЧНИЙ ОПИС ОПЕРАЦІЇ ДИФЕРЕНЦІЮВАННЯ В ЛОГІКО-ЧАСОВОМУ СЕРЕДОВИЩІ». Інформаційні технології та комп’ютерна інженерія, вип. 57, вип. 2, Вересень 2023, с. 93-98, doi:10.31649/1999-9941-2023-57-2-93-98.