Ануреев, Игорь Сергеевич. На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов. Труды СПИИРАН 2, no. 25 (апрель 1, 2013): 255-276. просмотрено ноябрь 21, 2024. https://ia.spcras.ru/index.php/sp/article/view/1681.