Frequency stabilization of gas lasers | IEEE Journals & Magazine | IEEE Xplore