R. L. Goodstein, “Models of Propositional Calculi in Recursive Arithmetic”., Math. Scand., vol. 6, pp. 293–296, Dec. 1958.