Title: Logic and Algebra of Specification