Answers:
我认为您建议的时间表是正确的。
在Unix诞生之初(60年代称为Unics,代表Uniplexed Information and Computing Service),贝尔实验室就致力于失败的Multics项目(Multiplexed Information and Computer Services)。Multics是用QED编写的。
实际上,甚至在Multics之前就已经开发了QED。它最初是由Butler Lampson和Peter Deutsch为SDS 940上的伯克利分时系统编写的;请参见C.ACM 10#12(1967年12月)中的文章。
肯·汤普森(Ken Thompson)将QED引入了Multics项目团队,他将其从面向字符的角色升级为面向行的(QED CTSS)。
后来,当Multics项目失败时,Ken和Ritchie将Multics“分叉”到Unics和QED上,并不断得到进一步改进,最终达到了后来的ED和VI。
所有这些以及更多内容在Ritchie自己(!)撰写的有关QED历史的贝尔实验室论文中得到了很好的解释。
同样,在此Bell Labs链接中,您可以下载QED手册(日期为1970),由Ken和Ritchie为Unics Project(!)进行了增强。
除其他概念外,在此QED手册中,以与我们今天使用它们相同的格式解释了基本正则表达式。
PS:我承认我很高兴找到所有这些信息!