Ken Thomson hasn't published anything yet.