Шилов Н.В. О необходимости онтологии для классификации и навигации по универсуму компьютерных языков // № 13, 2018
Ищенко А.Д. Улучшение генерации условий корректности для Reflex программ с помощью простого статического анализа // № 25, 2024
