ПІСКУНОВ, Олексій, Наталя ТУПКО, і Іван ПЕТРЕНКО. «АЛГЕБРАЇЧНЕ ПРОЄКТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ». Інформаційні технології та суспільство, no. 5 (11) (Січень 9, 2024): 50-59. дата звернення Квітень 3, 2025. https://journals.maup.com.ua/index.php/it/article/view/2928.