Set theory with a universal set exploring an untyped universe - Forster, Thomas 1948- (Clarendon Press, 1992)
Literaturverz. S. 135 - 147