Rickly, Matthieu (2006). First-order regularity of convex functions on Carnot groups. Journal of geometric analysis, 16(4), pp. 679-702. New York, N.Y.: Springer-Verlag 10.1007/BF02922136