Algebraic system specification and development