Injection locking of a KrF laser using a frequency-doubled argon-ion laser pulse | IEEE Journals & Magazine | IEEE Xplore