Introduction to the mathematical structure of quantum mechanics: A short course for mathematicians - Strocchi, F (2008)