Branner, B. On the Foundation of Mathematica Scandinavica. Math. Scand. 2003, 93, 5-19.