Detailed paper about Wigner representation