A formalization of set theory without variables Colloquium publicationsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。