[1]
Branner, B. 2003. On the foundation of Mathematica Scandinavica. MATHEMATICA SCANDINAVICA. 93, 1 (Sep. 2003), 5-19. DOI:https://doi.org/10.7146/math.scand.a-14409.