Navy's doctoral thesis, "Nonparacompactness in Para-Lindelöf Spaces", was important in the development of metrizability theory.
Stephen Watson called Navy's construction "a rather general one that permitted quite a lot of latitude" and said, "No other way of getting para-Lindelöf is known.