Extending the Algebraic Manipulability of Differentials (2018) [pdf]
arxiv.org