[1]
B. Branner, “On the foundation of Mathematica Scandinavica”, MathScand, vol. 93, no. 1, pp. 5-19, Sep. 2003.