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