An introduction to the mathematical structure of quantum mechanics a short course for mathematicians ; lecture notes - Strocchi, Franco 1939- (World Scientific, 2005)