algebraic specification and verification system