SMS dit: Онтологические системы перехода и их применение к семантике компьютерных языков