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