Formally smooth bimodules - Tomasz Brzezinski (Journal of Pure and Applied Algebra, 2008)