A First Course in Topos Quantum Theory - Flori (Springer Berlin Heidelberg, 2013)