Leibscher, M. and Schmidt, B. (2009) Quantum dynamics of a plane pendulum. Phys. Rev. A, 80 (1). 012510.