Moyal star product approach to the Bohr-Sommerfeld approximation
  The Bohr-Sommerfeld approximation to the eigenvalues of a one-dimensional quantum Hamiltonian is derived through order $\hbar^2$ (i.e., including the first correction term beyond the usual result) by means of the Moyal star product. The Hamiltonian need only have a Weyl transform (or symbol) that is a power series in $\hbar$, starting with $\hbar^0$, with a generic fixed point in phase space. The Hamiltonian is not restricted to the kinetic-plus-potential form. The method involves transforming the Hamiltonian to a normal form, in which it becomes a function of the harmonic oscillator Hamiltonian. Diagrammatic and other techniques with potential applications to other normal form problems are presented for manipulating higher order terms in the Moyal series. 
Matthew Cargo, Alfonso Gracia-Saz, R. G. Littlejohn, M. W. Reinsch and   P. de M. Rios