An introduction to the mathematical structure of quantum mechanics : a short course for mathematicians - Strocchi, F. (Advanced series in mathematical physics, 2008)