An integrable normal form for water waves in infinite depthWalter CraigPatrick A. Worfolk1995Physica D: Nonlinear Phenomena