ПІСКУНОВ, О.; ТУПКО, Н.; ПЕТРЕНКО, І. АЛГЕБРАЇЧНЕ ПРОЄКТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ. info-tech 2024, 50-59.