Compact design of discharge pumped KrF laser | IEEE Conference Publication | IEEE Xplore