From classical to quantum mechanics: an introduction to the formalism, foundations and applications - Esposito, Giampiem (CUP, 2010)