Title: Algebraic foundations of systems specification
Subjects: Formal methods (Computer science), Software engineering, System design