Algebraic Specifications in Software Engineering