O. Hustad, “On Positive and Continuous Extension of Positive Functionals Defined over Dense Subspaces”., Math. Scand., vol. 7, pp. 392–404, Dec. 1959, doi: 10.7146/math.scand.a-10586.