Non-commutative harmonic analysis - Carmona, J; Vergne, M (Lecture Notes in Mathematics, 587, 1977)