1. Bierstone, E.: Differentiable functions. Bol. Soc. Bras. Mat. 11(2), 139–190 (1980)
2. Bonfiglioli, A., Lanconelli, E., Uguzzoni, F.: Stratified Lie Groups and Potential Theory for their Sub-Laplacians. Springer Monographs in Mathematics. Springer, Berlin (2007)
3. Capogna, L., Danielli, D., Pauls, S., Tyson, J.: An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem, Birkhauser, Progress in Mathematics, vol. 259. Springer, Berlin (2007)
4. Capolli, M., Pinamonti, A., Speight, G.: A $$C^m$$ Lusin Approximation Theorem for Horizontal Curves in the Heisenberg Group. Calc. Var. Partial Differ. Equ. 60, 49 (2021)
5. Capolli, M., Pinamonti, A., Speight, G.: A $$C^k$$ Lusin Approximation Theorem for Real-Valued Functions on Carnot Groups, to appear in Indiana University Mathematics Journal. arXiv:2107.12814