Sketches of an elephant : - Johnstone, P. T. (Oxford logic guides ;, 2002)