1. Ануреев И.С. На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов // Труды СПИИРАН. 2013. № 25 (2). C. 255-276.