Domokos, A.; Manfredi, J. J. Hilbert-Haar Coordinates and Miranda’s Theorem in Lie Groups. BPMAS 2020, 11, 94-118.