Branner, B. “On the Foundation of Mathematica Scandinavica”. MATHEMATICA SCANDINAVICA, vol. 93, no. 1, Sept. 2003, pp. 5-19, doi:10.7146/math.scand.a-14409.