P.J. Day The May Spectral Sequence Thesis, Oxford, 1994.