Text this: Algebraic specifications in software engineering :