Computational aspects of general equilibrium theory : Refutable Theories of Value (2008)