«Класс Стива»: происхождение СЦ

Мы «знаем», что назван в честь Стива Кука, а назван в честь Ника Пиппенгера. Если я не ошибаюсь, Стив Кук назвал NC в честь Ника Пиппенджера, и мне сказали, что обратное также верно. Однако я не смог найти никаких доказательств этого последнего факта ни в статье Стива Кука о DCFL, ни в доказательстве Нисана, что .$\mathsf{SC}$$\mathsf{NC}$$\mathsf{RL} \subseteq \mathsf{SC}$

Есть ли какие-либо документально подтвержденные доказательства последнего утверждения, или это просто "в воздухе"?

ps Я спрашиваю, потому что я просматривал примеры Закона Стипиля Эпонимии и задавался вопросом о том, что я буду называть «Взаимностью Стиглера»: где что-то, изобретенное А, названо в честь В и наоборот. Примером этого являются матрицы Картана и формы Киллинга.

Следующее - по словам Ника Пиппенгера

Соответствующие ссылки следующие. Стив описал NC как класс Ника в своей статье «Детерминированные КЛЛ принимаются одновременно в полиномиальном времени и логарифмическом пространстве» (ACM STOC, 11 (1979) 338-345) на SC, а я описал SC как класс Стива в своей статье «Одновременный Resource Bounds '' (IEEE FOCS, 20 (1979) 307-311) на Северной Каролине. Но имена появились примерно полтора года назад, когда я посетил факультет CS Университета Торонто (с января по июнь 1978 года) Именно тогда началось изучение двух классов, когда Стив определил SC, а я - NC, а разные сотрудники отдела (я думаю, что Аллан Бородин был первым) использовали два имени. Следующей осенью Стив представил статью, приведенную выше. Я был в программном комитете для этого STOC, и мне не разрешили представить документы ему,

С наилучшими пожеланиями,

Ник

В статье Руццо «О сложности равномерного контура» сноска 1 гласит:

Срок Кука был PLOPS; SC - мнемоника Пиппенгера для «Класса Стива», в знак признания вклада [5]

И [5] - статья Кука о DCFL.