О. ПІСКУНОВ, Н. ТУПКО, і І. ПЕТРЕНКО, «АЛГЕБРАЇЧНЕ ПРОЄКТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ», info-tech, вип. 5 (11), с. 50-59, Січ 2024.