https://9lib.org/document/qvl9gxxl-equivalent-forms-of-m-paracompactness.html