ПІСКУНОВ, О., Н. ТУПКО, і І. ПЕТРЕНКО. «АЛГЕБРАЇЧНЕ ПРОЄКТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ». Інформаційні технології та суспільство, вип. 5 (11), Січень 2024, с. 50-59, doi:10.32689/maup.it.2023.5.7.