This book analyzes in considerable generality the quantization-dequantization integral transform scheme of Weyl and Wigner, and considers several phase operator theories.