The structure of algebraic covariant derivative curvature tensors
  We use the Nash embedding theorem to construct generators for the space of algebraic covariant derivative curvature tensors. 
J. Diaz-Ramos, B. Fiedler, E. Garcia-Rio, and P. Gilkey