Денис Ричи — Други јазици