Jouvet, Dement, Kleitman and Aserinsky