Алгоритмы перевода. Вступительный курс по формализации перевода / Translation Algorithms: Introduction to Translation Formalization