The Mathematical language of Quantum Theory - Teiko Heinosaari, Mário Ziman (Cambridge University Press, 2012)