Кен Томпсон, Деннис Ритчи. К 70-летнему юбилею Кена Томпсона ...