Variational and finite element methods. A symbolic computation approach - Beltzer, Abraham I. (Springer, 1990)