Text this: Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика