Logic and Algebra of Specification