A formalization of set theory without variables - Tarski, Alfred; Givant, Steven R. (Colloquium publications / American Mathematical Society, 1987)