https://123deta.com/document/ynlgknkq-remarks-solvability-operators-principal-symbol-microlocal-analysis-related.html