Dionysius Ritchie - Other languages