(1)
Branner, B. On the Foundation of Mathematica Scandinavica. MathScand 2003, 93, 5-19.