P. Boggiatto and L. Rodino, “Quantization and Pseudo-differential Operators”, CUBO, vol. 5, no. 1, pp. 234–269, Jan. 2003.