The Lagrangian approach to a Josephson traveling-wave parametric amplifier | IEEE Conference Publication | IEEE Xplore