J. A. Bergstra, “Dual Number Meadows”, Transmath, Jun. 2019.