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