Algebraic Geometry over C^∞-rings - Dominic Joyce (2010)