Algebraic System Specification and Development