Title: The RAISE specification language
Subjects: Software engineering