Title: The Formal description technique Estelle
Subjects: Electronic data processing, Distributed processing, System design, ESPRIT/SEDOS Project