A first course in topos quantum theory - Flori, Cecilia (Lecture Notes in Physics, 2013)