Vecchi, Eugenio. 2016. “Steiner Formula and Gaussian Curvature in the Heisenberg Group”. Bruno Pini Mathematical Analysis Seminar 7 (1):97-115. https://doi.org/10.6092/issn.2240-2829/6693.