Ochoa, Pablo, and Alejo Julio Ruiz. “Existence and Uniqueness Results for Linear Second-Order Equations in the Heisenberg Group”. Annales Fennici Mathematici, vol. 42, no. 2, Aug. 2017, pp. 1065-83, https://doi.org/10.5186/aasfm.2017.4264.