Boris Yu Sternin

Lagrangian Manifolds and the Maslov Operator

Contact Geometry and Linear Differential Equations

Quantization Methods in the Theory of Differential Equations

Methods of Noncommutative Analysis