Variational and finite element methods : a symbolic computation approach - Beltzer, Abraham I (Springer Verlag, 1990)