Semi-classical Approximation in Quantum Mechanics by Maslov, V.P.