Have you looked at Bezrukavnikov and Kaledin's _[Fedosov quantization in algebraic context][1]_?  They say specifically that they couldn't find any good references and thus had to write up several things themselves.

[1]:https://arxiv.org/abs/math/0309290