An Introduction To The Mathematical Structure Of Quantum Mechanics by Franco Strocchi