Ануреев И.С. Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования // № 9, 2017
