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.