Computational aspects of general equilibrium theory refutable theories of value (Springer, 2008)