Дубинский, А. Г.; Хорольский, О. А. Розробка метода перевірки блок-схем медичних алгоритмів. TAPR 2016, 2, 16-20.