A. Narkawicz, “A Formal Proof Of The Riesz Representation Theorem”, JFR, vol. 4, no. 1, pp. 1–24, Jan. 2011.