Quantization as a functor - N. P. Landsman (2001)