Vecchi, E. “Steiner Formula and Gaussian Curvature in the Heisenberg Group”. Bruno Pini Mathematical Analysis Seminar, vol. 7, no. 1, Jan. 2016, pp. 97-115, doi:10.6092/issn.2240-2829/6693.