Noncommutative differential calculus, homotopy BV algebras and formality conjectures - Tsygan, B. L.; Tamarkin, D. (Methods of Functional Analysis and Topology, 2000)