Assignment of laser lines in optically pumped submillimeter lasers: HDCO, D2CO | IEEE Journals & Magazine | IEEE Xplore