Mathematical aspects of Weyl quantization and phase - Dubin, D. A.; Hennings, M. A.; Smith, T. Burton 1924- (World Scientific, 2000)