Wigner Centennial: His Function, and Its Environmental Decoherence
  In 1983, Wigner outlined a modified Schr\"odinger--von-Neumann equation of motion for macroobjects, to describe their typical coupling to the environment. This equation has become a principal model of environmental decoherence which is beleived responsible for the emergence ofclassicality in macroscopic quantum systems. Typically, this happens gradually and asymptotically after a certain characteristic decoherence time. For the Wigner-function, however, one can prove that it evolves perfectly into a classical (non-negative) phase space distribution after a finite time of decoherence. 
Lajos Diosi