Tunable pump laser stabilization of the optically pumped CF4laser | IEEE Journals & Magazine | IEEE Xplore