АНУРЕЕВ, И. С. На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов. Труды СПИИРАН, v. 2, n. 25, p. 255-276, 1 abr. 2013.