Идрисов Р.И., Одинцов С.П., Шилов Н.В. Онтологический подход к проблеме классификации компьютерных языков: состояние и перспективы // № 1, 2013
Городняя Л.В. Парадигмальный подход к факторизации определений языков и систем программирования // № 12, 2018
Каблуков И.В., Шелехов В.И. Разработка параллельной предикатной программы решения системы линейных уравнений методом Гаусса-Жордано // № 12, 2018
Каблуков И.В., Шелехов В.И. Реализация оптимизирующих трансформаций в системе предикатного программирования // № 11, 2017
