DC pump sources for the optically pumped 546.1 nm Hg laser | IEEE Journals & Magazine | IEEE Xplore