Title: Specification case studies
Subjects: Specifications, Computer programs