E. M. Alfsen, “A Simplified Constructive Proof of the Existence and Uniqueness of Haar Measure”., Math. Scand., vol. 12, pp. 106–116, Dec. 1963.