Title: Specification case studies in RAISE
Subjects: Software engineering