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