English analog programming and checking: tłumaczenie na inne języki