A Simplified Constructive Proof of the Existence and Uniqueness of Haar Measure. E.M. Alfsen — 1963 Mathematica Scandinavica
On the Equivalence Between Proximity Structures and Totally Bounded Uniform Structures. E.M. Alfsen; J.E. Fenstad — 1959 Mathematica Scandinavica
Correction to a Paper on Proximity and Totally Bounded Uniform Structures. E.M. Alfsen; J.E. Fenstad — 1961 Mathematica Scandinavica