Балыкин, В. Н.Четвериков, Г. Г.Ревенчук, И. А.2018-05-292018-05-292002Балыкин В. Н. Модификация вычислительных процедур средствами алгебры конечных предикатов / В. Н. Балыкин, Г. Г. Четвериков, И. А. Ревенчук // Сборник научных трудов по материалам 8-й Международной конференции "Теория и техника передачи, приемма и обработки информации"("Интегрированные информационные системы, сети и технологии") ИИСТ-2002 – Харьков : ХНУРЭ, 2002. – С. 546-548.http://openarchive.nure.ua/handle/document/5580Модификация вычислительных процедур средствами алгебры конечных предикатовruConference proceedings