На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов - Ануреев, Игорь Сергеевич (Труды СПИИРАН, 2013)