Alfsen, E. M. A Simplified Constructive Proof of the Existence and Uniqueness of Haar Measure. Math. Scand. 1963, 12, 106-116. https://doi.org/10.7146/math.scand.a-10675.