Ануреев, И. С. На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов. ТС 2013, 2, 255-276.