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