Title: Specification case studies
Subjects: Specifications, Case studies, Computer programs