E. Vecchi, “Steiner Formula and Gaussian Curvature in the Heisenberg Group”, BPMAS, vol. 7, no. 1, pp. 97–115, Jan. 2016.