Donald Brown & Felix Kubler 
Computational Aspects of General Equilibrium Theory [PDF ebook] 
Refutable Theories of Value

Refutable Theories of Value.- Testable Restrictions on the Equilibrium Manifold.- Uniqueness, Stability, and Comparative Statics in Rationalizable Walrasian Markets.- The Nonparametric Approach to Applied Welfare Analysis.- Competition, Consumer Welfare, and the Social Cost of Monopoly.- Two Algorithms for Solving the Walrasian Equilibrium Inequalities.- Is Intertemporal Choice Theory Testable?.- Observable Restrictions of General Equilibrium Models with Financial Markets.- Approximate Generalizations and Computational Experiments.- Approximate Versus Exact Equilibria in Dynamic Economies.- Tame Topology and O-Minimal Structures.