https://123dok.net/document/zx5ow2dv-class-pseudo-differential-operators-product-manifolds-applications.html