A high-repetition-rate chemical HF laser | IEEE Journals & Magazine | IEEE Xplore