English analog programming and checking: перевод на другие языки