A. H. Kruse A Method of Modelling the Formalism of Set Theory in Axiomatic Set Theory. 20-34 1963 28 J. Symb. Log. 1 db/journals/jsyml/jsyml28.html#Kruse63