آلن هافمن (ریاضیاتچی) - زبان‌های دیگر