On some orderings of extensions of arithmetic - Bennet, Christian (1986)
Göteborg, Univ., Diss.