Saya pikir garis waktu yang disarankan Anda benar.
Pada permulaan sebelum Unix (disebut Unics pada 60-an, singkatan dari Layanan Informasi dan Komputasi UNiplexed), Bell Labs telah berfokus pada Proyek Multics yang gagal (Multiplexed Information and Computer Services). Multics ditulis dalam QED.
Sebenarnya QED telah dikembangkan bahkan sebelum Multics; pertama kali ditulis oleh Butler Lampson dan Peter Deutsch untuk sistem pembagian waktu Berkeley pada SDS 940; lihat makalah mereka dalam C. ACM 10 # 12 (Desember, 1967).
QED telah dibawa ke tim proyek Multics oleh Ken Thompson yang dia upgrade dari yang berorientasi karakter ke garis yang berorientasi (QED CTSS).
Kemudian, ketika proyek Multics gagal, Ken dan Ritchie "bercabang" Multics to Unics dan QED telah terus ditingkatkan lebih lanjut sampai akhirnya pada akhirnya ED dan VI.
Semua ini dan banyak lagi dijelaskan dengan baik dalam makalah Bell Labs ini tentang QED History , yang ditulis oleh Ritchie sendiri (!).
Juga di tautan Bell Labs ini Anda dapat mengunduh Manual QED (tanggal 1970) seperti yang telah ditingkatkan oleh Ken dan Ritchie untuk Proyek Unics (!).
Di antara konsep-konsep lain, dalam manual QED ini ekspresi reguler dasar dijelaskan dalam format yang sama dengan yang kita gunakan hari ini.
PS: Saya akui saya senang menemukan semua informasi ini!