Formal calculus of variations on fibered manifolds - Chrastina, Jan, 1933- (Folia Facultatis scientiarum naturalium Universitatis Purkynianae Brunensis, 1989)