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