External-cavity semiconductor laser with focusing grating mirror | IEEE Journals & Magazine | IEEE Xplore