Computation with Sets