A first course in topos quantum theory - Flori, Cecilia (Springer, 2013)