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