Tôi nghĩ rằng dòng thời gian khuyên của bạn là chính xác.
Ngay từ đầu trước Unix (được gọi là Unics ở thập niên 60, viết tắt của Dịch vụ điện toán và thông tin chưa được xử lý), Bell Labs đã tập trung vào Dự án Multics thất bại (Dịch vụ máy tính và thông tin đa kênh). Multics đã được viết bằng QED.
Trên thực tế, QED đã được phát triển ngay cả trước khi Multics; lần đầu tiên nó được viết bởi Butler Lampson và Peter Deutsch cho hệ thống chia sẻ thời gian Berkeley trên SDS 940; xem bài viết của họ trong C. ACM 10 # 12 (tháng 12 năm 1967).
QED đã được Ken Thompson đưa đến nhóm dự án Multics mà anh đã nâng cấp từ định hướng nhân vật sang định hướng theo dòng (QED CTSS).
Sau đó, khi dự án Multics thất bại, Ken và Ritchie "rẽ nhánh" Multics sang Unics và QED đã tiếp tục được cải thiện hơn nữa để đạt đến ED và VI sau này.
Tất cả những điều này và nhiều hơn nữa được giải thích rõ trong bài báo này của Bell Labs về Lịch sử QED , được viết bởi chính Ritchie (!).
Cũng trong liên kết Bell Labs này, bạn có thể tải xuống Hướng dẫn QED (ngày 1970) như đã được Ken và Ritchie cho Dự án Unics (!) Nâng cao.
Trong số các khái niệm khác, trong biểu thức chính quy cơ bản thủ công QED này được giải thích theo cùng định dạng mà chúng ta sử dụng chúng ngày nay.
Tái bút: Tôi thừa nhận rằng tôi rất hào hứng khi tìm thấy tất cả thông tin này!