Title: The construction of formal specifications
Subjects: Software engineering