Separably Closed Fields with Higher Derivation I. - Margit Messmer; Carol Wood (J. Symb. Log., 1995)