1. Sheaves in Geometry and Logic: A First Introduction to Topos Theory;Mac lane,1992
2. Topoi: the categorial analysis of logic;Goldblatt,1984
3. New Variables for Classical and Quantum Gravity
4. Knot Theory and Quantum Gravity
5. Theory of quantised directions in Quantum theory and beyond;Penrose,1971