Title: Review of Estelle and LOTOS with respect to critical computer applications
Subjects: Programming languages (Electronic computers)