Ануреев И.С., Промский А.В. Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования // № 9, 2017
Шилов Н.В. О логических и алгебраических основаниях классификации формальной семантики программ // № 6, 2015
Ануреев И.С. Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования // № 9, 2017
