Narkawicz, Anthony. “A Formal Proof Of The Riesz Representation Theorem”. Journal of Formalized Reasoning 4, no. 1 (January 1, 2011): 1–24. Accessed April 24, 2024. https://jfr.unibo.it/article/view/1952.