Derivations and noncommutative differential calculus II
  We characterize the derivation $d:A\to \Omega^1_{\der}(A)$ by a universal property introducing a new class of bimodules. 
Michel Dubois-Violette and Peter W. Michor