https://123dok.org/document/6zkj8epq-geodesics-and-horizontal-path-spaces-sub-riemannian-geometry.html