Text this: Algebraic system specification and development :