D. Blackmore and Y. Mileyko, “Computational differential topology”, Appl. Gen. Topol., vol. 8, no. 1, pp. 35–92, Apr. 2007.