pseudodiferential operator, spectrum, Rieffel quantization, C*-algebra, 
continuous field, non-commutative dynamical system