Set theory with a universal set : exploring an untyped universe /
Forster, T. E.
Oxford : Clarendon Press,
1992.