Injection-locked dye laser pumped by a xenon-ion laser | IEEE Journals & Magazine | IEEE Xplore