A xenon ion pumped blue dye laser | IEEE Journals & Magazine | IEEE Xplore