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