Title: Specification and validation methods
Subjects: Programming languages (Electronic computers)