Simplified proofs for the pro-Lie group theorem and the one-parameter subgroup lifting lemma
H. Glöckner, Journal of Lie Theory 17 (2007) 899–902.

Haar measure on linear groups over local skew fields
H. Glöckner, Journal of Lie Theory 6 (1996) 165–177.