Title: Logic and Algebra of Specification
Subjects: Specification writing