Title: The Formal description technique Lotos
Subjects: Electronic data processing, Distributed processing, LOTOS (Computer program language), System design, ESPRIT/SEDOS Project