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