Cassidy, P. J., & Singer, M. F. (2011). A Jordan-Hölder theorem for differential algebraic groups. Journal of Algebra, 328(1), 190-217. doi:10.1016/j.jalgebra.2010.08.019.