Russian верификация спецификаций: перевод на другие языки