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