なお、ラストネームの「Kernighan」は日本では一般的に「カーニハン」と綴られ、発音されるが、英語諸国では「クーニガン」に近い発音が一般的である(バッキンガムと同じ).
Kernighan