https://123dok.org/document/wye60o7q-windowed-wigner-representations-interferences-and-operators.html