The formal theory of differential equations - Chrastina, Jan. (Folia Facultatis Scientiarum Naturalium Universitatis Masarykianae Brunensis. Mathematica, 1998)