Title: The Specification of Complex Systems
Subjects: System analysis, System design