Differences between intra- and extra-cavity pulse time structure in a hole-coupled free-electron laser | IEEE Journals & Magazine | IEEE Xplore