These states, defined as eigenvectors of the lowering operator and forming an overcomplete family, were introduced in the early papers of John R. Klauder, e.g.
Overcompleteness |