Berry, MV (1977) Semi-Classical Mechanics in Phase Space: A Study of Wigner's Function. In: Philosophical Transactions of the Royal Society of London series A-Mathematical Physical and Engineering Sciences, 287 (1343). pp. 237-271.