6925 Peter Nyikos: The theory of nonmetrizable manifolds.
3810 Kunen/, 633-684.