ฉันคิดว่าเส้นเวลาที่คุณแนะนำนั้นถูกต้อง
ที่จุดเริ่มต้นก่อนหน้า Unix (เรียกว่า Unics at 60s, ยืนสำหรับบริการข้อมูลและการประมวลผล UNiplexed), Bell Labs ได้มุ่งเน้นไปที่ Multics Project ที่ล้มเหลว (Multiplexed Information and Computer Services) Multics เขียนด้วย QED
จริง ๆ แล้ว QED ได้รับการพัฒนาก่อน Multics; มันถูกเขียนครั้งแรกโดย Butler Lampson และ Peter Deutsch สำหรับระบบแบ่งปันเวลา Berkeley บน SDS 940; ดูบทความของพวกเขาใน C. ACM 10 # 12 (ธันวาคม, 1967)
QED ได้ถูกนำไปยังทีมโปรเจคของ Multics โดย Ken Thompson ซึ่งเขาได้อัพเกรดจากตัวละครที่มุ่งเน้นไปที่การวางแนว (QED CTSS)
ต่อมาเมื่อโครงการ Multics ล้มเหลว Ken และ Ritchie "ทางแยก" Multics to Unics และ QED ได้รับการปรับปรุงให้ดีขึ้นอย่างต่อเนื่องในที่สุดถึง ED และ VI ในภายหลัง
ทั้งหมดนี้และอีกมากมายได้อธิบายไว้ในบทความของBell Labs เกี่ยวกับประวัติ QED ที่เขียนโดย Ritchie เอง (!)
นอกจากนี้ในลิงค์ Bell Labs นี้คุณสามารถดาวน์โหลดคู่มือ QED (ลงวันที่ 1970) ซึ่งได้รับการปรับปรุงโดย Ken และ Ritchie สำหรับโครงการ Unics (!)
ในแนวคิดอื่น ๆ ในการแสดงออกปกติขั้นพื้นฐานด้วยตนเองของ QED นี้มีการอธิบายในรูปแบบเดียวกับที่เราใช้มันในปัจจุบัน
PS: ฉันยอมรับว่าฉันตื่นเต้นกับการหาข้อมูลทั้งหมดนี้!