Text this: Semantics and Algebraic Specification