Text this: Algebraic Specifications in Software Engineering :