https://123dok.net/document/z1d3od28-derived-algebraic-geometry-and-deformation-quantization.html