Penso che la tua linea temporale consigliata sia corretta.
All'inizio di Unix (chiamato Unics a 60 anni, che stava per UNiplexed Information and Computing Service), Bell Labs si era concentrato sul Progetto Multics che aveva fallito (Multiplexed Information and Computer Services). Multics è stato scritto in QED.
In realtà il QED era stato sviluppato anche prima di Multics; è stato scritto per la prima volta da Butler Lampson e Peter Deutsch per il sistema di time-sharing Berkeley su SDS 940; vedere il loro articolo in C. ACM 10 # 12 (dicembre 1967).
QED era stato portato nel team di progetto di Multics da Ken Thompson, che ha aggiornato da carattere a linea (QED CTSS).
Più tardi, quando il progetto Multics fallì, Ken e Ritchie "biforcarono" Multics a Unics e QED erano stati continuamente ulteriormente migliorati raggiungendo infine la ED e il VI successivi.
Tutto questo e molto altro ancora è ben spiegato in questo articolo di Bell Labs sulla storia di QED , scritto dallo stesso Ritchie (!).
Inoltre, in questo link di Bell Labs è possibile scaricare il manuale QED (datato 1970), come era stato migliorato da Ken e Ritchie per il Progetto Unics (!).
Tra gli altri concetti, in questo manuale QED le espressioni regolari di base sono spiegate nello stesso formato che usiamo oggi.
PS: ammetto di essere entusiasta di trovare tutte queste informazioni!