A high-power pulsed xenon ion laser as a pump source for a tunable dye laser | IEEE Journals & Magazine | IEEE Xplore