Title: Formal methods in standards
Subjects: Electronic data processing, Standards
Places: Great Britain