First course in topos quantum theory - Flori, Cecilia (Lecture notes in physics 868, 2013)