Paracompactness and the Lindelöf property in finite and countable cartesian products Ernest A. Michael — 1971 Compositio Mathematica